comparison src/lacweb.lex @ 120:6230bdd122e7

Passing an argument to a web function
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 20:07:10 -0400
parents 3739af9e727a
children e3041657d653
comparison
equal deleted inserted replaced
119:7fdc146b2bc2 120:6230bdd122e7
274 274
275 <INITIAL> {id} => (Tokens.SYMBOL (yytext, pos yypos, pos yypos + size yytext)); 275 <INITIAL> {id} => (Tokens.SYMBOL (yytext, pos yypos, pos yypos + size yytext));
276 <INITIAL> {cid} => (Tokens.CSYMBOL (yytext, pos yypos, pos yypos + size yytext)); 276 <INITIAL> {cid} => (Tokens.CSYMBOL (yytext, pos yypos, pos yypos + size yytext));
277 277
278 <INITIAL> {intconst} => (case Int64.fromString yytext of 278 <INITIAL> {intconst} => (case Int64.fromString yytext of
279 SOME x => Tokens.INT (x, pos yypos, pos yypos + size yytext) 279 SOME x => Tokens.INT (x, pos yypos, pos yypos + size yytext)
280 | NONE => (ErrorMsg.errorAt' (pos yypos, pos yypos) 280 | NONE => (ErrorMsg.errorAt' (pos yypos, pos yypos)
281 ("Expected int, received: " ^ yytext); 281 ("Expected int, received: " ^ yytext);
282 continue ())); 282 continue ()));
283 <INITIAL> {realconst} => (case Real64.fromString yytext of 283 <INITIAL> {realconst} => (case Real64.fromString yytext of
284 SOME x => Tokens.FLOAT (x, pos yypos, pos yypos + size yytext) 284 SOME x => Tokens.FLOAT (x, pos yypos, pos yypos + size yytext)
285 | NONE => (ErrorMsg.errorAt' (pos yypos, pos yypos) 285 | NONE => (ErrorMsg.errorAt' (pos yypos, pos yypos)
286 ("Expected float, received: " ^ yytext); 286 ("Expected float, received: " ^ yytext);
287 continue ())); 287 continue ()));