Mercurial > urweb

diff src/settings.sml @ 1820:3c56aa6a0f55

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Reduce default inlining thresholds; improve a let-substitution optimization to compensate
author Adam Chlipala <adam@chlipala.net>
date Fri, 14 Sep 2012 07:35:48 -0400
parents 3d922a28370b
children c3119c263bd3
line wrap: on
line diff
--- a/src/settings.sml	Fri Sep 14 06:44:14 2012 -0400
+++ b/src/settings.sml	Fri Sep 14 07:35:48 2012 -0400
@@ -615,11 +615,11 @@
 fun setSql so = sql := so
 fun getSql () = !sql
 
-val coreInline = ref 20
+val coreInline = ref 5
 fun setCoreInline n = coreInline := n
 fun getCoreInline () = !coreInline
 
-val monoInline = ref 100
+val monoInline = ref 5
 fun setMonoInline n = monoInline := n
 fun getMonoInline () = !monoInline