diff options
author | Valentin Gatien-Baron <valentin.gatienbaron@gmail.com> | 2016-08-30 00:16:28 -0400 |
---|---|---|
committer | Valentin Gatien-Baron <valentin.gatienbaron@gmail.com> | 2017-08-01 07:32:08 -0400 |
commit | f29cd5ab6dcd544b52493fece64563f2621f4ff3 (patch) | |
tree | 2a47db4316d75958b2b81beada6ffb9c558914d4 /parsing/parsetree.mli | |
parent | 44b6bbf5d197d2d7fa840b41ead5ec7e25660f9e (diff) | |
download | ocaml-f29cd5ab6dcd544b52493fece64563f2621f4ff3.tar.gz |
Support syntax: S with M.N.t := ...
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 e1961aae42..b59443e89e 100644 --- a/parsing/parsetree.mli +++ b/parsing/parsetree.mli @@ -763,8 +763,8 @@ and with_constraint = the name of the type_declaration. *) | Pwith_module of Longident.t loc * Longident.t loc (* with module X.Y = Z *) - | Pwith_typesubst of type_declaration - (* with type t := ... *) + | 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 *) |