chiark / gitweb /
identifiers here have - not _
authorian <ian>
Sun, 13 Jul 2008 19:24:44 +0000 (19:24 +0000)
committerian <ian>
Sun, 13 Jul 2008 19:24:44 +0000 (19:24 +0000)
hostside/record-l.l

index 053a0e80cc5022440285eb7c1b1a9a451a2a930b..77c0952c6d6b9213ebf6ad7985fedadd68a4a832 100644 (file)
@@ -30,7 +30,7 @@ home          { STRT HOME; }
 end            { STRT END; }
  /* new keywords must be added to %token<name> and ident: in record-y.y */
 
-[A-Za-z][A-Za-z0-9_]+  { STRT IDENT; }
+[A-Za-z][-A-Za-z0-9]+  { STRT IDENT; }
 
 [0-9]{0,8}     { record_yylval.num= strtoul(yytext,0,10); return NUM; }
 [0-9]{9}       { record_yyerror("number too long"); }