diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-11-11 15:32:10 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-11 15:32:10 -0500 |
commit | cb961c521e9aee367e2d8f3ede63bcf191c53f05 (patch) | |
tree | c56872f4ba61c06c5a8609faf5db8b8213c3c41b | |
parent | ded9f1e15308a0ed27c9892d4b0285abc25654f8 (diff) |
Ignore UseRel effects in [let] expansions
-rw-r--r-- | src/mono_reduce.sml | 7 |
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 |