Mercurial > urweb
diff src/lacweb.lex @ 58:fd8a81ecd598
include
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 22 Jun 2008 18:17:21 -0400 |
parents | a6e185c7c428 |
children | 9f89f0b00b84 |
line wrap: on
line diff
--- a/src/lacweb.lex Sun Jun 22 15:23:16 2008 -0400 +++ b/src/lacweb.lex Sun Jun 22 18:17:21 2008 -0400 @@ -155,6 +155,8 @@ <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));