Mercurial > urweb
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 ())); |