# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1226435530 18000
# Node ID 463dad8804707581d83dcb7484860e45c25ccfb0
# Parent  5521bb0b4014f8aecef743240cf165e182aa7f1c
Ignore UseRel effects in [let] expansions

diff -r 5521bb0b4014 -r 463dad880470 src/mono_reduce.sml
--- a/src/mono_reduce.sml	Tue Nov 11 15:12:24 2008 -0500
+++ b/src/mono_reduce.sml	Tue Nov 11 15:32:10 2008 -0500
@@ -425,12 +425,13 @@
                             if impure e' then
                                 let
                                     val effs_e' = summarize 0 e'
+                                    val effs_e' = List.filter (fn x => x <> UseRel) effs_e'
                                     val effs_b = summarize 0 b
 
                                     (*val () = Print.prefaces "Try"
-                                             [("e", MonoPrint.p_exp env (e, ErrorMsg.dummySpan)),
-                                              ("e'", p_events effs_e'),
-                                              ("b", p_events effs_b)]*)
+                                                            [("e", MonoPrint.p_exp env (e, ErrorMsg.dummySpan)),
+                                                             ("e'", p_events effs_e'),
+                                                             ("b", p_events effs_b)]*)
 
                                     fun does eff = List.exists (fn eff' => eff' = eff) effs_e'
                                     val writesPage = does WritePage