From 32f6bd8f1bcf65a5db96160d63ef2050c9eb5e52 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 21 May 2009 11:45:04 -0400 Subject: Change List.mapM' to avoid leaving functions around --- src/especialize.sml | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'src/especialize.sml') diff --git a/src/especialize.sml b/src/especialize.sml index 9504a0be..e2bbeb9d 100644 --- a/src/especialize.sml +++ b/src/especialize.sml @@ -205,7 +205,10 @@ fun specialize' file = [("e'", CorePrint.p_exp CoreEnv.empty e)];*) (#1 e, st) end - | (_, true) => (e, st) + | (_, true) => ((*Print.prefaces ("No(" ^ name ^ ")") + [("fxs'", + Print.p_list (CorePrint.p_exp CoreEnv.empty) fxs')];*) + (e, st)) | (NONE, false) => let (*val () = Print.prefaces "New one" @@ -213,6 +216,10 @@ fun specialize' file = ("mns", Print.p_list Print.PD.string (SS.listItems (!mayNotSpec)))]*) + (*val () = Print.prefaces ("Yes(" ^ name ^ ")") + [("fxs'", + Print.p_list (CorePrint.p_exp CoreEnv.empty) fxs')]*) + fun subBody (body, typ, fxs') = case (#1 body, #1 typ, fxs') of (_, _, []) => SOME (body, typ) -- cgit v1.2.3