Mercurial > urweb
diff src/mono_reduce.sml @ 995:166ea3944b91
Versioned1 demo working
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 06 Oct 2009 17:36:45 -0400 |
| parents | 8fe576c0bee9 |
| children | 34ba25d6af3b |
line wrap: on
line diff
--- a/src/mono_reduce.sml Tue Oct 06 15:59:11 2009 -0400 +++ b/src/mono_reduce.sml Tue Oct 06 17:36:45 2009 -0400 @@ -380,7 +380,8 @@ else [Unsure]) | EApp (f, x) => - unravel (#1 f, passed + 1, summarize d x @ ls) + unravel (#1 f, passed + 1, List.revAppend (summarize d x, + ls)) | _ => [Unsure] in unravel (e, 0, []) @@ -584,6 +585,7 @@ (*val () = Print.prefaces "Try" [(*("e", MonoPrint.p_exp env (e, ErrorMsg.dummySpan)),*) ("e'", MonoPrint.p_exp env e'), + ("b", MonoPrint.p_exp (E.pushERel env x t NONE) b), ("e'_eff", p_events effs_e'), ("b", p_events effs_b)]*)