diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-05-28 12:40:55 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-28 12:40:55 -0400 |
commit | 8327f190c80287003048eaa10857d0f081b551bb (patch) | |
tree | 1ebd4c0f5a8f22a6ddd0dbb86cd2cc741b610e0e /src/unnest.sml | |
parent | a735f6ea0ef8ec5895dfe7f895f89ee8c126de14 (diff) |
Fix EDLet elab_util bug
Diffstat (limited to 'src/unnest.sml')
-rw-r--r-- | src/unnest.sml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/unnest.sml b/src/unnest.sml index 3dfa741d..e0245c6f 100644 --- a/src/unnest.sml +++ b/src/unnest.sml @@ -241,10 +241,12 @@ fun exp ((ks, ts), e as old, st : state) = 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 |