Mercurial > urweb
diff src/urweb.lex @ 389:acaf9d19fbb7
num working for int
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 21 Oct 2008 10:34:07 -0400 |
parents | c1e96b387115 |
children | 8084fa9216de |
line wrap: on
line diff
--- a/src/urweb.lex Tue Oct 21 09:52:52 2008 -0400 +++ b/src/urweb.lex Tue Oct 21 10:34:07 2008 -0400 @@ -274,6 +274,11 @@ <INITIAL> "<-" => (Tokens.LARROW (pos yypos, pos yypos + size yytext)); <INITIAL> ";" => (Tokens.SEMI (pos yypos, pos yypos + size yytext)); +<INITIAL> "+" => (Tokens.PLUS (pos yypos, pos yypos + size yytext)); +<INITIAL> "-" => (Tokens.MINUS (pos yypos, pos yypos + size yytext)); +<INITIAL> "/" => (Tokens.DIVIDE (yypos, yypos + size yytext)); +<INITIAL> "%" => (Tokens.MOD (pos yypos, pos yypos + size yytext)); + <INITIAL> "con" => (Tokens.CON (pos yypos, pos yypos + size yytext)); <INITIAL> "type" => (Tokens.LTYPE (pos yypos, pos yypos + size yytext)); <INITIAL> "datatype" => (Tokens.DATATYPE (pos yypos, pos yypos + size yytext));