[MLton] callcc and space use

Vesa Karvonen vesa.a.j.k at gmail.com
Wed Feb 6 16:34:03 PST 2008


On Feb 7, 2008 1:57 AM, Vesa Karvonen <vesa.a.j.k at gmail.com> wrote:
> Interestingly, the patch eliminates the space leak from the two test
> cases you gave earlier, but does not remove it from a modified version
> of your second test case.  [...] Perhaps RefFlatten is still not
> conservative enough.

I just noticed that with -drop-pass refFlatten, the space leak in the
first test case (simple.sml) disappears (even without the patch to
RefFlatten), but the space leak in the modified version of the second
test case (simple2-threads.sml) does not disappear with -drop-pass
refFlatten.  This would suggest that the space leak in the modified
version is not caused by RefFlatten.

-Vesa Karvonen



More information about the MLton mailing list