diff src/urweb.lex @ 1069:757397bb9609

Fix lexing of string literals in XML; treat EError as impure in MonoReduce
author Adam Chlipala <adamc@hcoop.net>
date Sat, 12 Dec 2009 14:51:10 -0500
parents 10114d7b7477
children 26197c957ad6
line wrap: on
line diff
--- a/src/urweb.lex	Sat Dec 12 11:02:20 2009 -0500
+++ b/src/urweb.lex	Sat Dec 12 14:51:10 2009 -0500
@@ -290,7 +290,7 @@
                                        ("Expected float, received: " ^ yytext);
                                        continue ()));
 <XMLTAG> "\""         => (YYBEGIN STRING;
-			  xmlString := true;
+			  xmlString := true; strEnder := #"\"";
 			  strStart := yypos; str := []; continue ());
 
 <XMLTAG> "{"          => (YYBEGIN INITIAL;