comparison src/urweb.lex @ 441:c5335613f31e

CURRENT_TIMESTAMP
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Oct 2008 15:33:28 -0400
parents 8084fa9216de
children dfc8c991abd0
comparison
equal deleted inserted replaced
440:19d7f79cd584 441:c5335613f31e
354 <INITIAL> "VALUES" => (Tokens.VALUES (pos yypos, pos yypos + size yytext)); 354 <INITIAL> "VALUES" => (Tokens.VALUES (pos yypos, pos yypos + size yytext));
355 <INITIAL> "UPDATE" => (Tokens.UPDATE (pos yypos, pos yypos + size yytext)); 355 <INITIAL> "UPDATE" => (Tokens.UPDATE (pos yypos, pos yypos + size yytext));
356 <INITIAL> "SET" => (Tokens.SET (pos yypos, pos yypos + size yytext)); 356 <INITIAL> "SET" => (Tokens.SET (pos yypos, pos yypos + size yytext));
357 <INITIAL> "DELETE" => (Tokens.DELETE (pos yypos, pos yypos + size yytext)); 357 <INITIAL> "DELETE" => (Tokens.DELETE (pos yypos, pos yypos + size yytext));
358 358
359 <INITIAL> "CURRENT_TIMESTAMP" => (Tokens.CURRENT_TIMESTAMP (pos yypos, pos yypos + size yytext));
360
359 <INITIAL> {id} => (Tokens.SYMBOL (yytext, pos yypos, pos yypos + size yytext)); 361 <INITIAL> {id} => (Tokens.SYMBOL (yytext, pos yypos, pos yypos + size yytext));
360 <INITIAL> {cid} => (Tokens.CSYMBOL (yytext, pos yypos, pos yypos + size yytext)); 362 <INITIAL> {cid} => (Tokens.CSYMBOL (yytext, pos yypos, pos yypos + size yytext));
361 363
362 <INITIAL> {intconst} => (case Int64.fromString yytext of 364 <INITIAL> {intconst} => (case Int64.fromString yytext of
363 SOME x => Tokens.INT (x, pos yypos, pos yypos + size yytext) 365 SOME x => Tokens.INT (x, pos yypos, pos yypos + size yytext)