From 58a9d688954efac93b876c048327096d76ffb0ec Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Tue, 5 Jan 2016 12:07:39 +0100 Subject: [PATCH] add parsing of ! in beginning of idents --- Exp.cf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Exp.cf b/Exp.cf index 3c447e5..d0fbe72 100644 --- a/Exp.cf +++ b/Exp.cf @@ -86,7 +86,7 @@ terminator Tele "" ; PTele. PTele ::= "(" Exp ":" Exp ")" ; terminator nonempty PTele "" ; -position token AIdent ('_')|(letter)(letter|digit|'\''|'_')* ; +position token AIdent ('_')|(letter)(letter|digit|'\''|'_')*|('!')(digit)* ; separator AIdent "" ; token CIdent '/''\\' ; -- 2.34.1