From 0a168e5f39165bd9e462813866c9a25dc2d6b688 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 12 Dec 2009 14:51:10 -0500 Subject: Fix lexing of string literals in XML; treat EError as impure in MonoReduce --- src/urweb.lex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/urweb.lex') diff --git a/src/urweb.lex b/src/urweb.lex index 4e572009..b6916cb9 100644 --- a/src/urweb.lex +++ b/src/urweb.lex @@ -290,7 +290,7 @@ notags = [^<{\n]+; ("Expected float, received: " ^ yytext); continue ())); "\"" => (YYBEGIN STRING; - xmlString := true; + xmlString := true; strEnder := #"\""; strStart := yypos; str := []; continue ()); "{" => (YYBEGIN INITIAL; -- cgit v1.2.3