comparison src/urweb.lex @ 268:bacd0ba869e1

Monoize ASC/DESC
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 16:54:13 -0400
parents 71bafe66dbe1
children bc89dfdbc495
comparison
equal deleted inserted replaced
267:f31e8da68e90 268:bacd0ba869e1
330 <INITIAL> "AVG" => (Tokens.AVG (pos yypos, pos yypos + size yytext)); 330 <INITIAL> "AVG" => (Tokens.AVG (pos yypos, pos yypos + size yytext));
331 <INITIAL> "SUM" => (Tokens.SUM (pos yypos, pos yypos + size yytext)); 331 <INITIAL> "SUM" => (Tokens.SUM (pos yypos, pos yypos + size yytext));
332 <INITIAL> "MIN" => (Tokens.MIN (pos yypos, pos yypos + size yytext)); 332 <INITIAL> "MIN" => (Tokens.MIN (pos yypos, pos yypos + size yytext));
333 <INITIAL> "MAX" => (Tokens.MAX (pos yypos, pos yypos + size yytext)); 333 <INITIAL> "MAX" => (Tokens.MAX (pos yypos, pos yypos + size yytext));
334 334
335 <INITIAL> "ASC" => (Tokens.ASC (pos yypos, pos yypos + size yytext));
336 <INITIAL> "DESC" => (Tokens.DESC (pos yypos, pos yypos + size yytext));
337
335 <INITIAL> {id} => (Tokens.SYMBOL (yytext, pos yypos, pos yypos + size yytext)); 338 <INITIAL> {id} => (Tokens.SYMBOL (yytext, pos yypos, pos yypos + size yytext));
336 <INITIAL> {cid} => (Tokens.CSYMBOL (yytext, pos yypos, pos yypos + size yytext)); 339 <INITIAL> {cid} => (Tokens.CSYMBOL (yytext, pos yypos, pos yypos + size yytext));
337 340
338 <INITIAL> {intconst} => (case Int64.fromString yytext of 341 <INITIAL> {intconst} => (case Int64.fromString yytext of
339 SOME x => Tokens.INT (x, pos yypos, pos yypos + size yytext) 342 SOME x => Tokens.INT (x, pos yypos, pos yypos + size yytext)