Mercurial > urweb
diff src/lacweb.lex @ 190:3eb53c957d10
Checkboxes
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 07 Aug 2008 13:09:26 -0400 |
parents | 7ee424760d2f |
children | 85b5f663bb86 |
line wrap: on
line diff
--- a/src/lacweb.lex Sun Aug 03 19:52:37 2008 -0400 +++ b/src/lacweb.lex Thu Aug 07 13:09:26 2008 -0400 @@ -261,6 +261,9 @@ <INITIAL> "fn" => (Tokens.FN (pos yypos, pos yypos + size yytext)); <INITIAL> "fold" => (Tokens.FOLD (pos yypos, pos yypos + size yytext)); <INITIAL> "case" => (Tokens.CASE (pos yypos, pos yypos + size yytext)); +<INITIAL> "if" => (Tokens.IF (pos yypos, pos yypos + size yytext)); +<INITIAL> "then" => (Tokens.THEN (pos yypos, pos yypos + size yytext)); +<INITIAL> "else" => (Tokens.ELSE (pos yypos, pos yypos + size yytext)); <INITIAL> "structure" => (Tokens.STRUCTURE (pos yypos, pos yypos + size yytext)); <INITIAL> "signature" => (Tokens.SIGNATURE (pos yypos, pos yypos + size yytext));