Mercurial > urweb

diff src/mono_reduce.sml @ 1069:757397bb9609

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 217eb87dde31
children b2311dfb3158
line wrap: on
line diff
--- a/src/mono_reduce.sml	Sat Dec 12 11:02:20 2009 -0500
+++ b/src/mono_reduce.sml	Sat Dec 12 14:51:10 2009 -0500
@@ -56,6 +56,7 @@
                               | 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 @@
 
       | 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