MLton, enough RAM, optimization settings etc.

[Anoq of the Sun]

Hello!


On a few occations I've complained about MLton's
compilation performance etc. - but I just want
to let you know that I don't really think there
are any problems at all :)

1) Once I thought that MLton had bad locality of
   reference during compilation - which gave slow
   compilation... But it was merely because I didn't
   have enough RAM. Here's some data for a large
   program I was compiling:

   256 MB RAM:
   Compilation time: 19 minutes, 20 seconds.
   CPU usage were as low as 5% at times.

   512 MB RAM: (same source code, same machine)
   Compilation time: 3 minutes, 15 seconds.
   CPU usage wasn't any lower than 98%

2) Regarding the huge binaries that the assembler
   couldn't handle... here are the results of
   tweaking the optimization settings:

   --inline 50 => Assembler file was about 6.4 MB
   --inline 25, --no-polyvariance => Asm about 6.2 MB
   --inline 10, --no-polyvariance => Asm less than 3 MB!

   And when I set --inline 10, compilation performance also
   got much better! :)


I hope this info may be useful - and if not for anything
else, then for concluding that MLton is really great! :)


Cheers
-- 
http://www.HardcoreProcessing.com