comparison src/urweb.lex @ 674:fab5998b840e

Type class reductions, but no inclusions yet
author Adam Chlipala <adamc@hcoop.net>
date Thu, 26 Mar 2009 14:37:31 -0400
parents e68de2a5506b
children 70cbdcf5989b
comparison
equal deleted inserted replaced
673:a8effb6159c2 674:fab5998b840e
252 <INITIAL> "==>" => (Tokens.DKARROW (pos yypos, pos yypos + size yytext)); 252 <INITIAL> "==>" => (Tokens.DKARROW (pos yypos, pos yypos + size yytext));
253 <INITIAL> "=>" => (Tokens.DARROW (pos yypos, pos yypos + size yytext)); 253 <INITIAL> "=>" => (Tokens.DARROW (pos yypos, pos yypos + size yytext));
254 <INITIAL> "++" => (Tokens.PLUSPLUS (pos yypos, pos yypos + size yytext)); 254 <INITIAL> "++" => (Tokens.PLUSPLUS (pos yypos, pos yypos + size yytext));
255 <INITIAL> "--" => (Tokens.MINUSMINUS (pos yypos, pos yypos + size yytext)); 255 <INITIAL> "--" => (Tokens.MINUSMINUS (pos yypos, pos yypos + size yytext));
256 <INITIAL> "---" => (Tokens.MINUSMINUSMINUS (pos yypos, pos yypos + size yytext)); 256 <INITIAL> "---" => (Tokens.MINUSMINUSMINUS (pos yypos, pos yypos + size yytext));
257 <INITIAL> "^" => (Tokens.CARET (pos yypos, pos yypos + size yytext));
257 258
258 <INITIAL> "=" => (Tokens.EQ (pos yypos, pos yypos + size yytext)); 259 <INITIAL> "=" => (Tokens.EQ (pos yypos, pos yypos + size yytext));
259 <INITIAL> "<>" => (Tokens.NE (pos yypos, pos yypos + size yytext)); 260 <INITIAL> "<>" => (Tokens.NE (pos yypos, pos yypos + size yytext));
260 <INITIAL> "<" => (Tokens.LT (pos yypos, pos yypos + size yytext)); 261 <INITIAL> "<" => (Tokens.LT (pos yypos, pos yypos + size yytext));
261 <INITIAL> ">" => (Tokens.GT (pos yypos, pos yypos + size yytext)); 262 <INITIAL> ">" => (Tokens.GT (pos yypos, pos yypos + size yytext));