Mercurial > urweb
comparison src/settings.sml @ 1016:065ce3252090
Inlining threshold for Reduce
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 25 Oct 2009 12:08:21 -0400 |
| parents | ea9f03ac2710 |
| children | 93315ac00394 |
comparison
equal
deleted
inserted
replaced
| 1015:e47303e5d73d | 1016:065ce3252090 |
|---|---|
| 400 | 400 |
| 401 val sql = ref (NONE : string option) | 401 val sql = ref (NONE : string option) |
| 402 fun setSql so = sql := so | 402 fun setSql so = sql := so |
| 403 fun getSql () = !sql | 403 fun getSql () = !sql |
| 404 | 404 |
| 405 val coreInline = ref 20 | |
| 406 fun setCoreInline n = coreInline := n | |
| 407 fun getCoreInline () = !coreInline | |
| 408 | |
| 409 val monoInline = ref 20 | |
| 410 fun setMonoInline n = monoInline := n | |
| 411 fun getMonoInline () = !monoInline | |
| 412 | |
| 405 end | 413 end |