summaryrefslogtreecommitdiff
path: root/parsing/parsetree.mli
diff options
context:
space:
mode:
authorGabriel Scherer <gabriel.scherer@gmail.com>2016-08-03 12:18:59 +0200
committerGabriel Scherer <gabriel.scherer@gmail.com>2016-08-03 12:58:30 +0200
commit665866d6a4d1b18c49bd5d2e32d86acfeae809f5 (patch)
tree623b83b2e0fcea7f74dc2f999aae34f2a866bf75 /parsing/parsetree.mli
parent66f8b37b1ef8627aa2a212d6bef5d7274656fec2 (diff)
downloadocaml-665866d6a4d1b18c49bd5d2e32d86acfeae809f5.tar.gz
document Ppat_open (missing from GPR #187)
Diffstat (limited to 'parsing/parsetree.mli')
-rw-r--r--parsing/parsetree.mli7
1 files changed, 4 insertions, 3 deletions
diff --git a/parsing/parsetree.mli b/parsing/parsetree.mli
index d61b3392b4..75b54722e2 100644
--- a/parsing/parsetree.mli
+++ b/parsing/parsetree.mli
@@ -221,6 +221,7 @@ and pattern_desc =
| Ppat_extension of extension
(* [%id] *)
| Ppat_open of Longident.t loc * pattern
+ (* M.(P) *)
(* Value expressions *)
@@ -342,9 +343,9 @@ and expression_desc =
(module ME : S) is represented as
Pexp_constraint(Pexp_pack, Ptyp_package S) *)
| Pexp_open of override_flag * Longident.t loc * expression
- (* let open M in E
- let! open M in E
- *)
+ (* M.(E)
+ let open M in E
+ let! open M in E *)
| Pexp_extension of extension
(* [%id] *)
| Pexp_unreachable