summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>1999-12-03 11:10:59 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>1999-12-03 11:10:59 +0000
commit870788858bcec587e88d1ce78fa81e34486420dd (patch)
treeed38ffa3226044e2ae04dd258bb8dcd20a16fb7a
parentad6a333f081a303cce93d86709f04a2802c61d06 (diff)
recover [] as constructor in type definitions
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2668 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--parsing/parser.mly3
1 files changed, 1 insertions, 2 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly
index 863259eb8..d069f2158 100644
--- a/parsing/parser.mly
+++ b/parsing/parser.mly
@@ -1309,8 +1309,7 @@ operator:
;
constr_ident:
UIDENT { $1 }
-/* useless, and conflicts with variants
- | LBRACKET RBRACKET { "[]" } */
+ | LBRACKET RBRACKET { "[]" }
| LPAREN RPAREN { "()" }
| COLONCOLON { "::" }
| FALSE { "false" }