From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Tue, 5 Jan 2016 11:07:39 +0000 (+0100)
Subject: add parsing of ! in beginning of idents
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=58a9d688954efac93b876c048327096d76ffb0ec;p=cubicaltt.git

add parsing of ! in beginning of idents
---

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 '/''\\' ;