comparison src/urweb.lex @ 1071:26197c957ad6

Better record summary error messages; more tweaking SQL usability
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Dec 2009 11:28:47 -0500
parents 757397bb9609
children b2311dfb3158
comparison
equal deleted inserted replaced
1070:e933297c4e24 1071:26197c957ad6
418 <INITIAL> "BY" => (Tokens.BY (pos yypos, pos yypos + size yytext)); 418 <INITIAL> "BY" => (Tokens.BY (pos yypos, pos yypos + size yytext));
419 <INITIAL> "HAVING" => (Tokens.HAVING (pos yypos, pos yypos + size yytext)); 419 <INITIAL> "HAVING" => (Tokens.HAVING (pos yypos, pos yypos + size yytext));
420 <INITIAL> "LIMIT" => (Tokens.LIMIT (pos yypos, pos yypos + size yytext)); 420 <INITIAL> "LIMIT" => (Tokens.LIMIT (pos yypos, pos yypos + size yytext));
421 <INITIAL> "OFFSET" => (Tokens.OFFSET (pos yypos, pos yypos + size yytext)); 421 <INITIAL> "OFFSET" => (Tokens.OFFSET (pos yypos, pos yypos + size yytext));
422 <INITIAL> "ALL" => (Tokens.ALL (pos yypos, pos yypos + size yytext)); 422 <INITIAL> "ALL" => (Tokens.ALL (pos yypos, pos yypos + size yytext));
423 <INITIAL> "SELECT1" => (Tokens.SELECT1 (pos yypos, pos yypos + size yytext));
423 424
424 <INITIAL> "JOIN" => (Tokens.JOIN (pos yypos, pos yypos + size yytext)); 425 <INITIAL> "JOIN" => (Tokens.JOIN (pos yypos, pos yypos + size yytext));
425 <INITIAL> "INNER" => (Tokens.INNER (pos yypos, pos yypos + size yytext)); 426 <INITIAL> "INNER" => (Tokens.INNER (pos yypos, pos yypos + size yytext));
426 <INITIAL> "CROSS" => (Tokens.CROSS (pos yypos, pos yypos + size yytext)); 427 <INITIAL> "CROSS" => (Tokens.CROSS (pos yypos, pos yypos + size yytext));
427 <INITIAL> "OUTER" => (Tokens.OUTER (pos yypos, pos yypos + size yytext)); 428 <INITIAL> "OUTER" => (Tokens.OUTER (pos yypos, pos yypos + size yytext));