add parsing of ! in beginning of idents

diff --git a/Exp.cf b/Exp.cf
index 3c447e585dfa673af9fd14bd7de61c09853c82ca..d0fbe722b9b676289011e04ebef56ab1fa80f593 100644 (file)
--- 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 '/''\\' ;