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