diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-06-22 18:17:21 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-22 18:17:21 -0400 |
commit | 5eee5f4a3b11c467c853f8397c7f679e5d5acc7a (patch) | |
tree | e7e2de799c3ac84bba0d9d4e6df73e9fe1ca5fcb /src/lacweb.lex | |
parent | a2f45884de59da6607cdb38080b956193e2e883f (diff) |
include
Diffstat (limited to 'src/lacweb.lex')
-rw-r--r-- | src/lacweb.lex | 2 |
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)); |