Mercurial > urweb
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)); |