summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-11-11 15:32:10 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-11-11 15:32:10 -0500
commitcb961c521e9aee367e2d8f3ede63bcf191c53f05 (patch)
treec56872f4ba61c06c5a8609faf5db8b8213c3c41b
parentded9f1e15308a0ed27c9892d4b0285abc25654f8 (diff)
Ignore UseRel effects in [let] expansions
-rw-r--r--src/mono_reduce.sml7
1 files changed, 4 insertions, 3 deletions
diff --git a/src/mono_reduce.sml b/src/mono_reduce.sml
index 942a9291..24e686da 100644
--- a/src/mono_reduce.sml
+++ b/src/mono_reduce.sml
@@ -425,12 +425,13 @@ fun reduce file =
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