[MLton] -inline-into-main false
Wed, 30 Jun 2004 13:33:32 -0700
I fixed "-inline-into-main false" so that it now works. I wanted to
see if it helps on HOL (it doesn't help much). I also ran the
benchmarks to see if it helps or hurts. Here are the benchmarks whose
run-time ratio was 0.03 or more from 1.
MLton0 -- mlton -inline-into-main true
MLton1 -- mlton -inline-into-main false
run time ratio
As with -contify-into-main, a couple of surprising and unexplained
effects. But nothing very interesting.