summaryrefslogtreecommitdiff
path: root/src/lacweb.lex
diff options
context:
space:
mode:
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 56f19060..337da093 100644
--- a/src/lacweb.lex
+++ b/src/lacweb.lex
@@ -134,6 +134,7 @@ realconst = [0-9]+\.[0-9]*;
<INITIAL> "sig" => (Tokens.SIG (yypos, yypos + size yytext));
<INITIAL> "end" => (Tokens.END (yypos, yypos + size yytext));
<INITIAL> "functor" => (Tokens.FUNCTOR (yypos, yypos + size yytext));
+<INITIAL> "where" => (Tokens.WHERE (yypos, yypos + size yytext));
<INITIAL> "Type" => (Tokens.TYPE (yypos, yypos + size yytext));
<INITIAL> "Name" => (Tokens.NAME (yypos, yypos + size yytext));