> > BTW, what is the maximum heap size for MLton? > > 4 gig (in practice probably a little less) Thinking a bit more, the real limitation is that the MLton runtime requires the heap to be contiguous. Given address space fragmentation due to where Linux puts stuff, that probably means the effective limit is about 2G.