diff src/mono_reduce.sml @ 489:463dad880470

Ignore UseRel effects in [let] expansions
author Adam Chlipala <adamc@hcoop.net>
date Tue, 11 Nov 2008 15:32:10 -0500
parents 2280193bf298
children 74800be65591
line wrap: on
line diff
--- 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