diff options
author | Alain Frisch <alain@frisch.fr> | 2014-09-23 16:06:09 +0000 |
---|---|---|
committer | Alain Frisch <alain@frisch.fr> | 2014-09-23 16:06:09 +0000 |
commit | 4aa48476d8ff931e2f83e6428071322c28a75aac (patch) | |
tree | 42b2e9f58d93fe1ee6798b5204bc77debb74a42c /parsing/parser.mly | |
parent | 1701d2733b19c5227e6168fcaefbb3481e62b437 (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.mly | 3 |
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 } |