summaryrefslogtreecommitdiff
path: root/src/lacweb.lex
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-01-26 17:10:26 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-01-26 17:10:26 -0500
commitc3c7a475626786988f0a367fc3c20f903f3fcbba (patch)
tree96d21b1114d7bc1ad6bddcdd1cc009f3c8152e9d /src/lacweb.lex
parent554a00c1e5a61d1a2a2767eb091777fbc2a7b811 (diff)
Parsing basic expressions
Diffstat (limited to 'src/lacweb.lex')
-rw-r--r--src/lacweb.lex1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lacweb.lex b/src/lacweb.lex
index 88410f2a..5234db3d 100644
--- a/src/lacweb.lex
+++ b/src/lacweb.lex
@@ -110,6 +110,7 @@ ws = [\ \t\012];
<INITIAL> "con" => (Tokens.CON (yypos, yypos + size yytext));
<INITIAL> "type" => (Tokens.LTYPE (yypos, yypos + size yytext));
+<INITIAL> "val" => (Tokens.VAL (yypos, yypos + size yytext));
<INITIAL> "fn" => (Tokens.FN (yypos, yypos + size yytext));
<INITIAL> "Type" => (Tokens.TYPE (yypos, yypos + size yytext));