aboutsummaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2023-12-26 15:07:20 -0600
committerMarc Coquand <marc@mccd.space>2023-12-26 15:07:20 -0600
commitf3c5dc866e429c388aa77375d9045698ccfb904e (patch)
treef077c558ea8cdf3dcbb1f3bc3ec4e34233b9ce9c /lib
parent5746c8d2c9ae2a0696eb5c88931e62e0149e6b85 (diff)
downloadfixgen-f3c5dc866e429c388aa77375d9045698ccfb904e.tar.gz
fixgen-f3c5dc866e429c388aa77375d9045698ccfb904e.tar.bz2
fixgen-f3c5dc866e429c388aa77375d9045698ccfb904e.zip
Support underscore names
Diffstat (limited to 'lib')
-rw-r--r--lib/lexer.mll2
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+