summaryrefslogtreecommitdiffstats
path: root/parsing/parser.mly
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2014-09-23 16:06:09 +0000
committerAlain Frisch <alain@frisch.fr>2014-09-23 16:06:09 +0000
commit4aa48476d8ff931e2f83e6428071322c28a75aac (patch)
tree42b2e9f58d93fe1ee6798b5204bc77debb74a42c /parsing/parser.mly
parent1701d2733b19c5227e6168fcaefbb3481e62b437 (diff)
Refer to the inlined record type as !M.Foo for a constructor M.Foo.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15315 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'parsing/parser.mly')
-rw-r--r--parsing/parser.mly3
1 files changed, 2 insertions, 1 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly
index c6b3c4de6..f723e5aeb 100644
--- a/parsing/parser.mly
+++ b/parsing/parser.mly
@@ -2008,10 +2008,11 @@ label_longident:
type_longident:
type_ident { Lident $1 }
| mod_ext_longident DOT type_ident { Ldot($1, $3) }
+ | BANG constr_longident { $2 }
;
type_ident:
LIDENT { $1 }
- | LIDENT DOT UIDENT { $1 ^ "." ^ $3 }
+/* | LIDENT DOT UIDENT { $1 ^ "." ^ $3 } */
;
mod_longident:
UIDENT { Lident $1 }