summaryrefslogtreecommitdiff
path: root/src/urweb.lex
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-21 10:34:07 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-21 10:34:07 -0400
commit29a7ea8ff27061917f6e5352f9d1eb8ccad7c680 (patch)
tree3d036341a8a7ed2f181f8f773b7df9e97ae2eda8 /src/urweb.lex
parentcbebf68dfc1e18c0477d20ea3b424ea2c97c8728 (diff)
num working for int
Diffstat (limited to 'src/urweb.lex')
-rw-r--r--src/urweb.lex5
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));