diff options
author | Marc Coquand <marc@mccd.space> | 2023-12-26 15:07:20 -0600 |
---|---|---|
committer | Marc Coquand <marc@mccd.space> | 2023-12-26 15:07:20 -0600 |
commit | f3c5dc866e429c388aa77375d9045698ccfb904e (patch) | |
tree | f077c558ea8cdf3dcbb1f3bc3ec4e34233b9ce9c /lib | |
parent | 5746c8d2c9ae2a0696eb5c88931e62e0149e6b85 (diff) | |
download | fixgen-f3c5dc866e429c388aa77375d9045698ccfb904e.tar.gz fixgen-f3c5dc866e429c388aa77375d9045698ccfb904e.tar.bz2 fixgen-f3c5dc866e429c388aa77375d9045698ccfb904e.zip |
Support underscore names
Diffstat (limited to 'lib')
-rw-r--r-- | lib/lexer.mll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/lexer.mll b/lib/lexer.mll index e2f6469..b4e26d8 100644 --- a/lib/lexer.mll +++ b/lib/lexer.mll @@ -11,7 +11,7 @@ let float = digit* frac? exp? let int = digit+ let white = [' ' '\t']+ let newline = '\r' | '\n' | "\r\n" -let id = ['a'-'z' 'A'-'Z' '-']* +let id = ['a'-'z' 'A'-'Z' '-' '_']* let newline = '\r' | '\n' | "\r\n" let many_newline = newline+ |