SCM Repository
[smlnj] Diff of /sml/trunk/src/compiler/FLINT/main/control.sml
Diff of /sml/trunk/src/compiler/FLINT/main/control.sml
Parent Directory
|
Revision Log
|
Patch
13 |
"specialize", |
"specialize", |
14 |
"loopify", "fixfix", (* "split", *) "fcontract", |
"loopify", "fixfix", (* "split", *) "fcontract", |
15 |
"wrap", "fcontract", "reify", |
"wrap", "fcontract", "reify", |
16 |
(* "abcopt", *) "fcontract", "fixfix", "fcontract+eta"] |
"abcopt", "fcontract", "fixfix", "fcontract+eta"] |
17 |
|
|
18 |
val inlineThreshold = ref 16 |
val inlineThreshold = ref 16 |
19 |
val splitThreshold = ref 0 |
val splitThreshold = ref 0 |
|
Legend:
Removed from v.666 |
|
changed lines |
|
Added in v.667 |
|
|