diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-10-21 10:34:07 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-21 10:34:07 -0400 |
commit | 29a7ea8ff27061917f6e5352f9d1eb8ccad7c680 (patch) | |
tree | 3d036341a8a7ed2f181f8f773b7df9e97ae2eda8 /src/urweb.lex | |
parent | cbebf68dfc1e18c0477d20ea3b424ea2c97c8728 (diff) |
num working for int
Diffstat (limited to 'src/urweb.lex')
-rw-r--r-- | src/urweb.lex | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/urweb.lex b/src/urweb.lex index cd6cf66a..a3c34a16 100644 --- a/src/urweb.lex +++ b/src/urweb.lex @@ -274,6 +274,11 @@ notags = [^<{\n]+; <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)); |