diff src/especialize.sml @ 1674:4cacced4a6da

Tweak Especialize heuristic
author Adam Chlipala <adam@chlipala.net>
date Wed, 11 Jan 2012 11:08:48 -0500
parents 833402503855
children 13dad713da35
line wrap: on
line diff
--- a/src/especialize.sml	Tue Jan 10 17:38:00 2012 -0500
+++ b/src/especialize.sml	Wed Jan 11 11:08:48 2012 -0500
@@ -1,4 +1,4 @@
-(* Copyright (c) 2008-2010, Adam Chlipala
+(* Copyright (c) 2008-2011, Adam Chlipala
  * All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
@@ -349,7 +349,7 @@
                                 if IS.member (#specialized st, f) then
                                     n
                                 else
-                                    5 + 2 *n
+                                    5 + n
                         in
                             (*Print.prefaces "Func" [("name", Print.PD.string name),
                                                    ("e", CorePrint.p_exp CoreEnv.empty e),