Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
1819:c9c38157d0d3 1820:3c56aa6a0f55
613 613
614 val sql = ref (NONE : string option) 614 val sql = ref (NONE : string option)
615 fun setSql so = sql := so 615 fun setSql so = sql := so
616 fun getSql () = !sql 616 fun getSql () = !sql
617 617
618 val coreInline = ref 20 618 val coreInline = ref 5
619 fun setCoreInline n = coreInline := n 619 fun setCoreInline n = coreInline := n
620 fun getCoreInline () = !coreInline 620 fun getCoreInline () = !coreInline
621 621
622 val monoInline = ref 100 622 val monoInline = ref 5
623 fun setMonoInline n = monoInline := n 623 fun setMonoInline n = monoInline := n
624 fun getMonoInline () = !monoInline 624 fun getMonoInline () = !monoInline
625 625
626 val staticLinking = ref false 626 val staticLinking = ref false
627 fun setStaticLinking b = staticLinking := b 627 fun setStaticLinking b = staticLinking := b