diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-10-06 17:36:45 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-10-06 17:36:45 -0400 |
| commit | f0999e0e7b8ae0f3e0ac622d4d70e8a1da61f47e (patch) | |
| tree | b83f18305aa8814ca95cf3a7e6a8829f789d8380 /src/mono_reduce.sml | |
| parent | 82ed38468f5da48ce6e9f6ec336cf5b11ca4bb4d (diff) | |
Versioned1 demo working
Diffstat (limited to 'src/mono_reduce.sml')
| -rw-r--r-- | src/mono_reduce.sml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/mono_reduce.sml b/src/mono_reduce.sml index 07e54b4d..b07f81b6 100644 --- a/src/mono_reduce.sml +++ b/src/mono_reduce.sml @@ -380,7 +380,8 @@ fun reduce file = 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 @@ fun reduce file = (*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)]*) |