From 0a168e5f39165bd9e462813866c9a25dc2d6b688 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 12 Dec 2009 14:51:10 -0500
Subject: Fix lexing of string literals in XML; treat EError as impure in
 MonoReduce

---
 src/mono_reduce.sml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/mono_reduce.sml')

diff --git a/src/mono_reduce.sml b/src/mono_reduce.sml
index a15ce34b..f29117cf 100644
--- a/src/mono_reduce.sml
+++ b/src/mono_reduce.sml
@@ -56,6 +56,7 @@ fun simpleImpure (tsyms, syms) =
                               | ERecv _ => true
                               | ESleep _ => true
                               | ENamed n => IS.member (syms, n)
+                              | EError _ => true
                               | ERel n =>
                                 let
                                     val (_, t, _) = E.lookupERel env n
@@ -96,7 +97,7 @@ fun impure (e, _) =
 
       | ECase (e, pes, _) => impure e orelse List.exists (fn (_, e) => impure e) pes
 
-      | EError (e, _) => impure e
+      | EError _ => true
       | EReturnBlob {blob = e1, mimeType = e2, ...} => impure e1 orelse impure e2
       | ERedirect (e, _) => impure e
 
-- 
cgit v1.2.3