diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-06-13 15:42:24 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-06-13 15:42:24 -0400 |
| commit | 9951d7544ba5deaea67864259001a21c12ff11ea (patch) | |
| tree | fd3763788e9a011e6a90096de94999d80c00c9ec /src/elaborate.sml | |
| parent | afe50be2ed547e0b8d83200bbec77b6037334678 (diff) | |
Fix MonoReduce unsoundness with lets and fns
Diffstat (limited to 'src/elaborate.sml')
| -rw-r--r-- | src/elaborate.sml | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml index 3b147e00..e78132c4 100644 --- a/src/elaborate.sml +++ b/src/elaborate.sml @@ -697,10 +697,9 @@ and unifySummaries env (loc, k, s1 : record_summary, s2 : record_summary) = let val loc = #2 k - val pdescs = [("#1", p_summary env s1), - ("#2", p_summary env s2)] - (*val () = eprefaces "Summaries" [("#1", p_summary env s1), - ("#2", p_summary env s2)]*) + (*val () = eprefaces "Summaries" [("loc", PD.string (ErrorMsg.spanToString loc)), + ("#1", p_summary env s1), + ("#2", p_summary env s2)]*) fun eatMatching p (ls1, ls2) = let @@ -1595,7 +1594,7 @@ fun normClassConstraint env (c, loc) = fun elabExp (env, denv) (eAll as (e, loc)) = let - (*val () = eprefaces "elabExp" [("eAll", SourcePrint.p_exp eAll)];*) + (*val () = eprefaces "elabExp" [("eAll", SourcePrint.p_exp eAll)]*) (*val befor = Time.now ()*) val r = case e of |