Disallow ``::'' for consistency

2015-10-08 13:37:25 -07:00 · 2015-10-08 13:37:25 -07:00 · 80260ef657
parent e2d26d1a16
commit 80260ef657
1 changed files with 1 additions and 1 deletions
--- a/parsing/parser.mly
+++ b/parsing/parser.mly
@ -2224,7 +2224,7 @@ constr_ident:
    UIDENT                                      { $1 }
  | LBRACKET RBRACKET                           { "[]" }
  | LPAREN RPAREN                               { "()" }
-  | COLONCOLON                                  { "::" }
+  /* | COLONCOLON                               { "::" } */
  | LPAREN COLONCOLON RPAREN                    { "::" }
  | FALSE                                       { "false" }
  | TRUE                                        { "true" }