Mercurial > urweb
changeset 489:463dad880470
Ignore UseRel effects in [let] expansions
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 11 Nov 2008 15:32:10 -0500 |
| parents | 5521bb0b4014 |
| children | 366676f7bc88 |
| files | src/mono_reduce.sml |
| diffstat | 1 files changed, 4 insertions(+), 3 deletions(-) [+] |
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