> Does anyone know of some options I can give to MLton to make it use > less memory? You could try compiling with "-polyvariance false". Depending on what we see from -verbose 3 about the blowup from that pass, it may help. We used to compile MLton that way several years ago.