Lexer: Forbid producer identifier of the form _[0-9]+.

68b12c4c · Yann Régis-Gianas · c781e458 · 68b12c4c
Commit 68b12c4c authored Jun 30, 2015 by Yann Régis-Gianas
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 0 deletions

src/lexer.mll src/lexer.mll +5 -0

No files found.
--- a/src/lexer.mll
+++ b/src/lexer.mll
@@ -312,6 +312,11 @@ rule main = parse
    { STAR }
 | "+"
    { PLUS }
+| "_" ['0'-'9']+
+    { Error.errorp
+        (Positions.with_poss (lexeme_start_p lexbuf) (lexeme_end_p lexbuf) ())
+        "identifiers of the form _0, _1, _2, ..., are reserved."
+    }
 | (lowercase identchar *) as id
    { if Hashtbl.mem reserved id then
 	Error.errorp