[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