diff options
author | octachron <octa@polychoron.fr> | 2021-02-17 16:59:50 +0100 |
---|---|---|
committer | octachron <octa@polychoron.fr> | 2021-02-25 16:41:35 +0100 |
commit | cc639696442f3056e9b814fad677c8cc394850a7 (patch) | |
tree | 3c0e1dfb8481a9558260fc300d517d64a2dd3924 /parsing/parsetree.mli | |
parent | c980fd207997aa9a511b12557f5de2755981d100 (diff) | |
download | ocaml-cc639696442f3056e9b814fad677c8cc394850a7.tar.gz |
review: rename Pwith_module_type* to Pwith_modtype*
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 607e177616..0508d04bac 100644 --- a/parsing/parsetree.mli +++ b/parsing/parsetree.mli @@ -854,9 +854,9 @@ and with_constraint = the name of the type_declaration. *) | Pwith_module of Longident.t loc * Longident.t loc (* with module X.Y = Z *) - | Pwith_module_type of Longident.t loc * module_type + | Pwith_modtype of Longident.t loc * module_type (* with module type X.Y = Z *) - | Pwith_module_typesubst of Longident.t loc * module_type + | Pwith_modtypesubst of Longident.t loc * module_type (* with module type X.Y := sig end *) | Pwith_typesubst of Longident.t loc * type_declaration (* with type X.t := ..., same format as [Pwith_type] *) |