comparison src/lacweb.lex @ 209:1487c712eb12

Stub WHERE support
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 Aug 2008 12:15:38 -0400
parents 241c9a0e3397
children e86411f647c6
comparison
equal deleted inserted replaced
208:63a2f2322c1f 209:1487c712eb12
286 <INITIAL> "Unit" => (Tokens.KUNIT (pos yypos, pos yypos + size yytext)); 286 <INITIAL> "Unit" => (Tokens.KUNIT (pos yypos, pos yypos + size yytext));
287 287
288 <INITIAL> "SELECT" => (Tokens.SELECT (pos yypos, pos yypos + size yytext)); 288 <INITIAL> "SELECT" => (Tokens.SELECT (pos yypos, pos yypos + size yytext));
289 <INITIAL> "FROM" => (Tokens.FROM (pos yypos, pos yypos + size yytext)); 289 <INITIAL> "FROM" => (Tokens.FROM (pos yypos, pos yypos + size yytext));
290 <INITIAL> "AS" => (Tokens.AS (pos yypos, pos yypos + size yytext)); 290 <INITIAL> "AS" => (Tokens.AS (pos yypos, pos yypos + size yytext));
291 <INITIAL> "WHERE" => (Tokens.CWHERE (pos yypos, pos yypos + size yytext));
292
293 <INITIAL> "TRUE" => (Tokens.TRUE (pos yypos, pos yypos + size yytext));
294 <INITIAL> "FALSE" => (Tokens.FALSE (pos yypos, pos yypos + size yytext));
291 295
292 <INITIAL> {id} => (Tokens.SYMBOL (yytext, pos yypos, pos yypos + size yytext)); 296 <INITIAL> {id} => (Tokens.SYMBOL (yytext, pos yypos, pos yypos + size yytext));
293 <INITIAL> {cid} => (Tokens.CSYMBOL (yytext, pos yypos, pos yypos + size yytext)); 297 <INITIAL> {cid} => (Tokens.CSYMBOL (yytext, pos yypos, pos yypos + size yytext));
294 298
295 <INITIAL> {intconst} => (case Int64.fromString yytext of 299 <INITIAL> {intconst} => (case Int64.fromString yytext of