summaryrefslogtreecommitdiff
path: root/src/lacweb.lex
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-06-22 18:17:21 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-06-22 18:17:21 -0400
commit5eee5f4a3b11c467c853f8397c7f679e5d5acc7a (patch)
treee7e2de799c3ac84bba0d9d4e6df73e9fe1ca5fcb /src/lacweb.lex
parenta2f45884de59da6607cdb38080b956193e2e883f (diff)
include
Diffstat (limited to 'src/lacweb.lex')
-rw-r--r--src/lacweb.lex2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/lacweb.lex b/src/lacweb.lex
index 18c5a9e9..a821cc9e 100644
--- a/src/lacweb.lex
+++ b/src/lacweb.lex
@@ -155,6 +155,8 @@ realconst = [0-9]+\.[0-9]*;
<INITIAL> "functor" => (Tokens.FUNCTOR (pos yypos, pos yypos + size yytext));
<INITIAL> "where" => (Tokens.WHERE (pos yypos, pos yypos + size yytext));
<INITIAL> "extern" => (Tokens.EXTERN (pos yypos, pos yypos + size yytext));
+<INITIAL> "include" => (Tokens.INCLUDE (pos yypos, pos yypos + size yytext));
+<INITIAL> "open" => (Tokens.OPEN (pos yypos, pos yypos + size yytext));
<INITIAL> "Type" => (Tokens.TYPE (pos yypos, pos yypos + size yytext));
<INITIAL> "Name" => (Tokens.NAME (pos yypos, pos yypos + size yytext));