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

This reverts commit fc203a594b2d68f40b18966550e9c23460fc20e9.

Revert "Lexer: Forbid producer identifier of the form _[0-9]+."
This reverts commit fc203a594b2d68f40b18966550e9c23460fc20e9.
ad920472 · Yann Régis-Gianas · 4093bc82 · ad920472
Commit ad920472 authored Jul 06, 2015 by Yann Régis-Gianas
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 5 deletions

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

No files found.
--- a/src/lexer.mll
+++ b/src/lexer.mll
@@ -312,11 +312,6 @@ 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