fix the lexer

Ignore-this: d94f902c86ec6020d03448507408bc77

darcs-hash:20110731120556-c41ad-9083a68f4138d2b39121bfe6bb2194ca7f4225ac
This commit is contained in:
Jeremie Dimino 2011-07-31 14:05:56 +02:00
parent 3b22daa6ee
commit 11da27db51
1 changed files with 3 additions and 4 deletions

View File

@ -16,10 +16,9 @@
let uchar = ['\x00' - '\x7f'] | _ [ '\x80' - '\xbf' ]*
let blank = [' ' '\009' '\012']
let lowercase = ['a'-'z' '\223'-'\246' '\248'-'\255' '_']
let uppercase = ['A'-'Z' '\192'-'\214' '\216'-'\222']
let identchar =
['A'-'Z' 'a'-'z' '_' '\192'-'\214' '\216'-'\246' '\248'-'\255' '\'' '0'-'9']
let lowercase = ['a'-'z' '_']
let uppercase = ['A'-'Z']
let identchar = ['A'-'Z' 'a'-'z' '_' '\'' '0'-'9']
let ident = (lowercase|uppercase) identchar*
let locname = ident
let not_star_symbolchar =