diff options
author | Valentin Gatien-Baron <valentin.gatienbaron@gmail.com> | 2016-09-04 14:06:50 -0400 |
---|---|---|
committer | Valentin Gatien-Baron <valentin.gatienbaron@gmail.com> | 2017-08-01 07:40:01 -0400 |
commit | ff05023fdecb83dff9cc1685fca8422776e19503 (patch) | |
tree | eb22ed64e71ce36512d8f37af33c1d9fe0957ea0 /parsing/parsetree.mli | |
parent | f29cd5ab6dcd544b52493fece64563f2621f4ff3 (diff) | |
download | ocaml-ff05023fdecb83dff9cc1685fca8422776e19503.tar.gz |
Support syntax: S with module M.N := ..
Diffstat (limited to 'parsing/parsetree.mli')
-rw-r--r-- | parsing/parsetree.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/parsing/parsetree.mli b/parsing/parsetree.mli index b59443e89e..8833368c6f 100644 --- a/parsing/parsetree.mli +++ b/parsing/parsetree.mli @@ -765,8 +765,8 @@ and with_constraint = (* with module X.Y = Z *) | Pwith_typesubst of Longident.t loc * type_declaration (* with type X.t := ..., same format as [Pwith_type] *) - | Pwith_modsubst of string loc * Longident.t loc - (* with module X := Z *) + | Pwith_modsubst of Longident.t loc * Longident.t loc + (* with module X.Y := Z *) (* Value expressions for the module language *) |