diff options
| -rw-r--r-- | parsing/lexer.mll | 1 | ||||
| -rw-r--r-- | parsing/parser.mly | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/parsing/lexer.mll b/parsing/lexer.mll index 5f5d36053..72d603f1f 100644 --- a/parsing/lexer.mll +++ b/parsing/lexer.mll @@ -252,6 +252,7 @@ rule token = parse raise (Error(Keyword_as_label name, Location.curr lexbuf)); LABEL name } | "?" { QUESTION } + | "??" { QUESTIONQUESTION } | "?" lowercase identchar * ':' { let s = Lexing.lexeme lexbuf in let name = String.sub s 1 (String.length s - 2) in diff --git a/parsing/parser.mly b/parsing/parser.mly index 8d98da37d..5f3c9b489 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -250,6 +250,7 @@ let bigarray_set arr arg newval = %token <string> PREFIXOP %token PRIVATE %token QUESTION +%token QUESTIONQUESTION %token QUOTE %token RBRACE %token RBRACKET |