summaryrefslogtreecommitdiff
path: root/src/lacweb.lex
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-13 20:07:10 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-13 20:07:10 -0400
commit811a3831805bf7a87ed3a64156f4ac6f6246edb9 (patch)
treea2bc2022ac4e0412a787a526135aafc99db66998 /src/lacweb.lex
parent97cc749872a8baf53bb34ef1b536b82f6aa7f1c7 (diff)
Passing an argument to a web function
Diffstat (limited to 'src/lacweb.lex')
-rw-r--r--src/lacweb.lex8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/lacweb.lex b/src/lacweb.lex
index b54d9e21..9e261d9f 100644
--- a/src/lacweb.lex
+++ b/src/lacweb.lex
@@ -276,10 +276,10 @@ notags = [^<{\n]+;
<INITIAL> {cid} => (Tokens.CSYMBOL (yytext, pos yypos, pos yypos + size yytext));
<INITIAL> {intconst} => (case Int64.fromString yytext of
- SOME x => Tokens.INT (x, pos yypos, pos yypos + size yytext)
- | NONE => (ErrorMsg.errorAt' (pos yypos, pos yypos)
- ("Expected int, received: " ^ yytext);
- continue ()));
+ SOME x => Tokens.INT (x, pos yypos, pos yypos + size yytext)
+ | NONE => (ErrorMsg.errorAt' (pos yypos, pos yypos)
+ ("Expected int, received: " ^ yytext);
+ continue ()));
<INITIAL> {realconst} => (case Real64.fromString yytext of
SOME x => Tokens.FLOAT (x, pos yypos, pos yypos + size yytext)
| NONE => (ErrorMsg.errorAt' (pos yypos, pos yypos)