comparison src/urweb.lex @ 1778:818d4097e2ed

Lighter-weight encoding of window function use
author Adam Chlipala <adam@chlipala.net>
date Sun, 03 Jun 2012 11:29:31 -0400
parents 8f28c3295148
children 146ec8e90063
comparison
equal deleted inserted replaced
1777:59b07fdae1ff 1778:818d4097e2ed
461 <INITIAL> "HAVING" => (Tokens.HAVING (pos yypos, pos yypos + size yytext)); 461 <INITIAL> "HAVING" => (Tokens.HAVING (pos yypos, pos yypos + size yytext));
462 <INITIAL> "LIMIT" => (Tokens.LIMIT (pos yypos, pos yypos + size yytext)); 462 <INITIAL> "LIMIT" => (Tokens.LIMIT (pos yypos, pos yypos + size yytext));
463 <INITIAL> "OFFSET" => (Tokens.OFFSET (pos yypos, pos yypos + size yytext)); 463 <INITIAL> "OFFSET" => (Tokens.OFFSET (pos yypos, pos yypos + size yytext));
464 <INITIAL> "ALL" => (Tokens.ALL (pos yypos, pos yypos + size yytext)); 464 <INITIAL> "ALL" => (Tokens.ALL (pos yypos, pos yypos + size yytext));
465 <INITIAL> "SELECT1" => (Tokens.SELECT1 (pos yypos, pos yypos + size yytext)); 465 <INITIAL> "SELECT1" => (Tokens.SELECT1 (pos yypos, pos yypos + size yytext));
466 <INITIAL> "OVER" => (Tokens.OVER (pos yypos, pos yypos + size yytext));
467 <INITIAL> "PARTITION" => (Tokens.PARTITION (pos yypos, pos yypos + size yytext));
468 466
469 <INITIAL> "JOIN" => (Tokens.JOIN (pos yypos, pos yypos + size yytext)); 467 <INITIAL> "JOIN" => (Tokens.JOIN (pos yypos, pos yypos + size yytext));
470 <INITIAL> "INNER" => (Tokens.INNER (pos yypos, pos yypos + size yytext)); 468 <INITIAL> "INNER" => (Tokens.INNER (pos yypos, pos yypos + size yytext));
471 <INITIAL> "CROSS" => (Tokens.CROSS (pos yypos, pos yypos + size yytext)); 469 <INITIAL> "CROSS" => (Tokens.CROSS (pos yypos, pos yypos + size yytext));
472 <INITIAL> "OUTER" => (Tokens.OUTER (pos yypos, pos yypos + size yytext)); 470 <INITIAL> "OUTER" => (Tokens.OUTER (pos yypos, pos yypos + size yytext));
488 <INITIAL> "AVG" => (Tokens.AVG (pos yypos, pos yypos + size yytext)); 486 <INITIAL> "AVG" => (Tokens.AVG (pos yypos, pos yypos + size yytext));
489 <INITIAL> "SUM" => (Tokens.SUM (pos yypos, pos yypos + size yytext)); 487 <INITIAL> "SUM" => (Tokens.SUM (pos yypos, pos yypos + size yytext));
490 <INITIAL> "MIN" => (Tokens.MIN (pos yypos, pos yypos + size yytext)); 488 <INITIAL> "MIN" => (Tokens.MIN (pos yypos, pos yypos + size yytext));
491 <INITIAL> "MAX" => (Tokens.MAX (pos yypos, pos yypos + size yytext)); 489 <INITIAL> "MAX" => (Tokens.MAX (pos yypos, pos yypos + size yytext));
492 <INITIAL> "RANK" => (Tokens.RANK (pos yypos, pos yypos + size yytext)); 490 <INITIAL> "RANK" => (Tokens.RANK (pos yypos, pos yypos + size yytext));
491 <INITIAL> "PARTITION" => (Tokens.PARTITION (pos yypos, pos yypos + size yytext));
492 <INITIAL> "OVER" => (Tokens.OVER (pos yypos, pos yypos + size yytext));
493 493
494 <INITIAL> "IF" => (Tokens.CIF (pos yypos, pos yypos + size yytext)); 494 <INITIAL> "IF" => (Tokens.CIF (pos yypos, pos yypos + size yytext));
495 <INITIAL> "THEN" => (Tokens.CTHEN (pos yypos, pos yypos + size yytext)); 495 <INITIAL> "THEN" => (Tokens.CTHEN (pos yypos, pos yypos + size yytext));
496 <INITIAL> "ELSE" => (Tokens.CELSE (pos yypos, pos yypos + size yytext)); 496 <INITIAL> "ELSE" => (Tokens.CELSE (pos yypos, pos yypos + size yytext));
497 497