summaryrefslogtreecommitdiff
path: root/src/lacweb.lex
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-01-26 16:51:39 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-01-26 16:51:39 -0500
commit554a00c1e5a61d1a2a2767eb091777fbc2a7b811 (patch)
tree81376d4bac8a1ba684cd5911ed44b86309b87d3b /src/lacweb.lex
parent53109d697cd8ff1aa7e4b8c41f3bd71dd2671fc0 (diff)
Add type keyword
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 bc5d3af4..88410f2a 100644
--- a/src/lacweb.lex
+++ b/src/lacweb.lex
@@ -109,6 +109,7 @@ ws = [\ \t\012];
<INITIAL> "#" => (Tokens.HASH (yypos, yypos + size yytext));
<INITIAL> "con" => (Tokens.CON (yypos, yypos + size yytext));
+<INITIAL> "type" => (Tokens.LTYPE (yypos, yypos + size yytext));
<INITIAL> "fn" => (Tokens.FN (yypos, yypos + size yytext));
<INITIAL> "Type" => (Tokens.TYPE (yypos, yypos + size yytext));