comparison src/urweb.lex @ 493:ae03d09043c1

Add CutMulti
author Adam Chlipala <adamc@hcoop.net>
date Tue, 11 Nov 2008 19:20:37 -0500
parents 7cb418e9714f
children 8998114760c1
comparison
equal deleted inserted replaced
492:4a241d108a2c 493:ae03d09043c1
249 249
250 <INITIAL> "->" => (Tokens.ARROW (pos yypos, pos yypos + size yytext)); 250 <INITIAL> "->" => (Tokens.ARROW (pos yypos, pos yypos + size yytext));
251 <INITIAL> "=>" => (Tokens.DARROW (pos yypos, pos yypos + size yytext)); 251 <INITIAL> "=>" => (Tokens.DARROW (pos yypos, pos yypos + size yytext));
252 <INITIAL> "++" => (Tokens.PLUSPLUS (pos yypos, pos yypos + size yytext)); 252 <INITIAL> "++" => (Tokens.PLUSPLUS (pos yypos, pos yypos + size yytext));
253 <INITIAL> "--" => (Tokens.MINUSMINUS (pos yypos, pos yypos + size yytext)); 253 <INITIAL> "--" => (Tokens.MINUSMINUS (pos yypos, pos yypos + size yytext));
254 <INITIAL> "---" => (Tokens.MINUSMINUSMINUS (pos yypos, pos yypos + size yytext));
254 255
255 <INITIAL> "=" => (Tokens.EQ (pos yypos, pos yypos + size yytext)); 256 <INITIAL> "=" => (Tokens.EQ (pos yypos, pos yypos + size yytext));
256 <INITIAL> "<>" => (Tokens.NE (pos yypos, pos yypos + size yytext)); 257 <INITIAL> "<>" => (Tokens.NE (pos yypos, pos yypos + size yytext));
257 <INITIAL> "<" => (Tokens.LT (pos yypos, pos yypos + size yytext)); 258 <INITIAL> "<" => (Tokens.LT (pos yypos, pos yypos + size yytext));
258 <INITIAL> ">" => (Tokens.GT (pos yypos, pos yypos + size yytext)); 259 <INITIAL> ">" => (Tokens.GT (pos yypos, pos yypos + size yytext));