Mercurial > urweb
comparison src/settings.sml @ 1351:74d35d9a5d16
Implement constrained type kinding properly; bump mono inline threshhold
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Mon, 20 Dec 2010 09:34:10 -0500 |
parents | 4dd5d23bace2 |
children | 02fc16faecf3 |
comparison
equal
deleted
inserted
replaced
1350:a6d421812b93 | 1351:74d35d9a5d16 |
---|---|
462 | 462 |
463 val coreInline = ref 20 | 463 val coreInline = ref 20 |
464 fun setCoreInline n = coreInline := n | 464 fun setCoreInline n = coreInline := n |
465 fun getCoreInline () = !coreInline | 465 fun getCoreInline () = !coreInline |
466 | 466 |
467 val monoInline = ref 20 | 467 val monoInline = ref 100 |
468 fun setMonoInline n = monoInline := n | 468 fun setMonoInline n = monoInline := n |
469 fun getMonoInline () = !monoInline | 469 fun getMonoInline () = !monoInline |
470 | 470 |
471 val staticLinking = ref false | 471 val staticLinking = ref false |
472 fun setStaticLinking b = staticLinking := b | 472 fun setStaticLinking b = staticLinking := b |