Mercurial > urweb
diff src/especialize.sml @ 818:066493f7f008
Change List.mapM' to avoid leaving functions around
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 21 May 2009 11:45:04 -0400 |
| parents | ef6de4075dc1 |
| children | a3273bee05a9 |
line wrap: on
line diff
--- a/src/especialize.sml Thu May 21 10:34:56 2009 -0400 +++ b/src/especialize.sml Thu May 21 11:45:04 2009 -0400 @@ -205,7 +205,10 @@ [("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 @@ ("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)