diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-12-23 12:25:34 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-23 12:25:34 -0500 |
| commit | b826741b92f800aed8b1b4ffe887291897744b69 (patch) | |
| tree | 4316dc52416e5099c11db0f6214699bdb950019e /src/especialize.sml | |
| parent | 8c4797157d006faa44cdfe702dfbff2ffa7125b9 (diff) | |
Stop skipping Especialization of generated functions; fix Compiler.parseUrp; expose uw_really_write(); allow more NULL arguments to uw_register_transactional()
Diffstat (limited to 'src/especialize.sml')
| -rw-r--r-- | src/especialize.sml | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/especialize.sml b/src/especialize.sml index dfe36ad0..acabe973 100644 --- a/src/especialize.sml +++ b/src/especialize.sml @@ -324,10 +324,13 @@ fun specialize' (funcs, specialized) file = | _ => false) fxs' orelse (IS.numItems fvs >= length fxs andalso IS.exists (fn n => functionInside (#2 (List.nth (env, n)))) fvs) then - default () + ((*Print.prefaces "No" [("name", Print.PD.string name), + ("fxs'", + Print.p_list (CorePrint.p_exp CoreEnv.empty) fxs')];*) + default ()) else case (KM.find (args, fxs'), - SS.member (!mayNotSpec, name) orelse IS.member (#specialized st, f)) of + SS.member (!mayNotSpec, name) (*orelse IS.member (#specialized st, f)*)) of (SOME f', _) => let val e = (ENamed f', loc) @@ -340,7 +343,7 @@ fun specialize' (funcs, specialized) file = [("e'", CorePrint.p_exp CoreEnv.empty e)];*) (e, st) end - | (_, true) => ((*Print.prefaces ("No(" ^ name ^ ")") + | (_, true) => ((*Print.prefaces ("No!(" ^ name ^ ")") [("fxs'", Print.p_list (CorePrint.p_exp CoreEnv.empty) fxs')];*) default ()) |