summaryrefslogtreecommitdiff
path: root/src/lacweb.lex
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-08-28 14:05:47 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-08-28 14:05:47 -0400
commit6cc9b62f90276ce8535ead07a3865cd71d98a526 (patch)
tree58484e9f64d99d6b82faa7c6893700c8e9776319 /src/lacweb.lex
parent59cfa9f433c17202e1df89de6cdda4cedfae594d (diff)
Shorthand for multi-binding exp declaration
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 5ba2f5c8..b7459675 100644
--- a/src/lacweb.lex
+++ b/src/lacweb.lex
@@ -274,6 +274,7 @@ notags = [^<{\n]+;
<INITIAL> "val" => (Tokens.VAL (pos yypos, pos yypos + size yytext));
<INITIAL> "rec" => (Tokens.REC (pos yypos, pos yypos + size yytext));
<INITIAL> "and" => (Tokens.AND (pos yypos, pos yypos + size yytext));
+<INITIAL> "fun" => (Tokens.FUN (pos yypos, pos yypos + size yytext));
<INITIAL> "fn" => (Tokens.FN (pos yypos, pos yypos + size yytext));
<INITIAL> "fold" => (Tokens.FOLD (pos yypos, pos yypos + size yytext));
<INITIAL> "case" => (Tokens.CASE (pos yypos, pos yypos + size yytext));