comparison src/lacweb.lex @ 235:0608a0cfd32a

COUNT
author Adam Chlipala <adamc@hcoop.net>
date Thu, 28 Aug 2008 11:59:46 -0400
parents a338da9d82f3
children f5732dc1316c
comparison
equal deleted inserted replaced
234:82409ef72019 235:0608a0cfd32a
321 <INITIAL> "FALSE" => (Tokens.FALSE (pos yypos, pos yypos + size yytext)); 321 <INITIAL> "FALSE" => (Tokens.FALSE (pos yypos, pos yypos + size yytext));
322 <INITIAL> "AND" => (Tokens.CAND (pos yypos, pos yypos + size yytext)); 322 <INITIAL> "AND" => (Tokens.CAND (pos yypos, pos yypos + size yytext));
323 <INITIAL> "OR" => (Tokens.OR (pos yypos, pos yypos + size yytext)); 323 <INITIAL> "OR" => (Tokens.OR (pos yypos, pos yypos + size yytext));
324 <INITIAL> "NOT" => (Tokens.NOT (pos yypos, pos yypos + size yytext)); 324 <INITIAL> "NOT" => (Tokens.NOT (pos yypos, pos yypos + size yytext));
325 325
326 <INITIAL> "COUNT" => (Tokens.COUNT (pos yypos, pos yypos + size yytext));
327
326 <INITIAL> {id} => (Tokens.SYMBOL (yytext, pos yypos, pos yypos + size yytext)); 328 <INITIAL> {id} => (Tokens.SYMBOL (yytext, pos yypos, pos yypos + size yytext));
327 <INITIAL> {cid} => (Tokens.CSYMBOL (yytext, pos yypos, pos yypos + size yytext)); 329 <INITIAL> {cid} => (Tokens.CSYMBOL (yytext, pos yypos, pos yypos + size yytext));
328 330
329 <INITIAL> {intconst} => (case Int64.fromString yytext of 331 <INITIAL> {intconst} => (case Int64.fromString yytext of
330 SOME x => Tokens.INT (x, pos yypos, pos yypos + size yytext) 332 SOME x => Tokens.INT (x, pos yypos, pos yypos + size yytext)