Henry Cejtin wrote: > I don't think that MLton ever allocates a `heap object' onto the stack. MLton does in the case that the heap object is a tuple (or a data constructor) and all of the uses are local.