> > Does anyone know of some options I can give to MLton to make it use > > less memory? Yet another option would be to compile with "@MLton hash-cons 0.5 --", which will instruct the runtime to hash cons the heap every other GC. That brought the maximum live data down by 20% in a self-compile of mlton when the experiment was run last October.