comparison 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
comparison
equal deleted inserted replaced
388:2e93d18daf44 389:acaf9d19fbb7
272 <INITIAL> "|" => (Tokens.BAR (pos yypos, pos yypos + size yytext)); 272 <INITIAL> "|" => (Tokens.BAR (pos yypos, pos yypos + size yytext));
273 <INITIAL> "*" => (Tokens.STAR (pos yypos, pos yypos + size yytext)); 273 <INITIAL> "*" => (Tokens.STAR (pos yypos, pos yypos + size yytext));
274 <INITIAL> "<-" => (Tokens.LARROW (pos yypos, pos yypos + size yytext)); 274 <INITIAL> "<-" => (Tokens.LARROW (pos yypos, pos yypos + size yytext));
275 <INITIAL> ";" => (Tokens.SEMI (pos yypos, pos yypos + size yytext)); 275 <INITIAL> ";" => (Tokens.SEMI (pos yypos, pos yypos + size yytext));
276 276
277 <INITIAL> "+" => (Tokens.PLUS (pos yypos, pos yypos + size yytext));
278 <INITIAL> "-" => (Tokens.MINUS (pos yypos, pos yypos + size yytext));
279 <INITIAL> "/" => (Tokens.DIVIDE (yypos, yypos + size yytext));
280 <INITIAL> "%" => (Tokens.MOD (pos yypos, pos yypos + size yytext));
281
277 <INITIAL> "con" => (Tokens.CON (pos yypos, pos yypos + size yytext)); 282 <INITIAL> "con" => (Tokens.CON (pos yypos, pos yypos + size yytext));
278 <INITIAL> "type" => (Tokens.LTYPE (pos yypos, pos yypos + size yytext)); 283 <INITIAL> "type" => (Tokens.LTYPE (pos yypos, pos yypos + size yytext));
279 <INITIAL> "datatype" => (Tokens.DATATYPE (pos yypos, pos yypos + size yytext)); 284 <INITIAL> "datatype" => (Tokens.DATATYPE (pos yypos, pos yypos + size yytext));
280 <INITIAL> "of" => (Tokens.OF (pos yypos, pos yypos + size yytext)); 285 <INITIAL> "of" => (Tokens.OF (pos yypos, pos yypos + size yytext));
281 <INITIAL> "val" => (Tokens.VAL (pos yypos, pos yypos + size yytext)); 286 <INITIAL> "val" => (Tokens.VAL (pos yypos, pos yypos + size yytext));