From ad9204729a58590832c4de4d4d5d3be1adf68f1e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Yann=20R=C3=A9gis-Gianas?= <yrg@pps.univ-paris-diderot.fr>
Date: Mon, 6 Jul 2015 21:12:22 +0200
Subject: [PATCH] Revert "Lexer: Forbid producer identifier of the form
 _[0-9]+."

This reverts commit fc203a594b2d68f40b18966550e9c23460fc20e9.
---
 src/lexer.mll | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/src/lexer.mll b/src/lexer.mll
index fa32e2cd..953c7a49 100644
--- 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
-- 
GitLab