> I'm confused as to why MLton would go to the maximum size (.95 or .85). Note, > on my machine with .5 gig, it also was at 27 meg per half-space. > Any explanation? I think it's just shooting for its usual factor of 8 semispace to live ratio.