comparison src/urweb.lex @ 629:e68de2a5506b

Top.Fold.concat elaborates
author Adam Chlipala <adamc@hcoop.net>
date Tue, 24 Feb 2009 13:46:08 -0500
parents 588b9d16b00a
children fab5998b840e
comparison
equal deleted inserted replaced
628:12b73f3c108e 629:e68de2a5506b
274 <INITIAL> "~" => (Tokens.TWIDDLE (pos yypos, pos yypos + size yytext)); 274 <INITIAL> "~" => (Tokens.TWIDDLE (pos yypos, pos yypos + size yytext));
275 <INITIAL> "|" => (Tokens.BAR (pos yypos, pos yypos + size yytext)); 275 <INITIAL> "|" => (Tokens.BAR (pos yypos, pos yypos + size yytext));
276 <INITIAL> "*" => (Tokens.STAR (pos yypos, pos yypos + size yytext)); 276 <INITIAL> "*" => (Tokens.STAR (pos yypos, pos yypos + size yytext));
277 <INITIAL> "<-" => (Tokens.LARROW (pos yypos, pos yypos + size yytext)); 277 <INITIAL> "<-" => (Tokens.LARROW (pos yypos, pos yypos + size yytext));
278 <INITIAL> ";" => (Tokens.SEMI (pos yypos, pos yypos + size yytext)); 278 <INITIAL> ";" => (Tokens.SEMI (pos yypos, pos yypos + size yytext));
279 <INITIAL> "!" => (Tokens.BANG (pos yypos, pos yypos + size yytext));
279 280
280 <INITIAL> "+" => (Tokens.PLUS (pos yypos, pos yypos + size yytext)); 281 <INITIAL> "+" => (Tokens.PLUS (pos yypos, pos yypos + size yytext));
281 <INITIAL> "-" => (Tokens.MINUS (pos yypos, pos yypos + size yytext)); 282 <INITIAL> "-" => (Tokens.MINUS (pos yypos, pos yypos + size yytext));
282 <INITIAL> "/" => (Tokens.DIVIDE (yypos, yypos + size yytext)); 283 <INITIAL> "/" => (Tokens.DIVIDE (yypos, yypos + size yytext));
283 <INITIAL> "%" => (Tokens.MOD (pos yypos, pos yypos + size yytext)); 284 <INITIAL> "%" => (Tokens.MOD (pos yypos, pos yypos + size yytext));