Mercurial > urweb
diff src/unnest.sml @ 826:78504d97410b
Fix EDLet elab_util bug
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 28 May 2009 12:40:55 -0400 |
| parents | 7f871c03e3a1 |
| children | 34ba25d6af3b |
line wrap: on
line diff
--- a/src/unnest.sml Thu May 28 12:07:05 2009 -0400 +++ b/src/unnest.sml Thu May 28 12:40:55 2009 -0400 @@ -241,10 +241,12 @@ end) (IS.empty, IS.empty) vis - (*val () = print ("A: " ^ Int.toString (length ts) ^ ", " ^ Int.toString (length ks) ^ "\n") - val () = app (fn (x, t) => + (*val () = Print.prefaces "Letto" [("e", ElabPrint.p_exp E.empty (old, ErrorMsg.dummySpan))]*) + (*val () = print ("A: " ^ Int.toString (length ts) ^ ", " ^ Int.toString (length ks) ^ "\n")*) + (*val () = app (fn (x, t) => Print.prefaces "Var" [("x", Print.PD.string x), - ("t", ElabPrint.p_con E.empty t)]) ts*) + ("t", ElabPrint.p_con E.empty t)]) ts + val () = IS.app (fn n => print ("Free: " ^ Int.toString n ^ "\n")) efv*) val cfv = IS.foldl (fn (x, cfv) => let