[MLton-devel] MLton and profiling

Stephen Weeks MLton@mlton.org
Mon, 10 Feb 2003 11:35:40 -0800


> Isn't the occurance of many copies more of an argument for
> coalescing?

No, because you get call graphs that look like

a1 -> fold
...
an -> fold
fold -> b1
...
fold -> bn

This is much less precise than

a1 -> fold1
...
am -> foldn
fold1 -> b1
...
foldn -> bn

The imprecision is especially bad when you use the path primitives of
mlprof's -graph option.


-------------------------------------------------------
This SF.NET email is sponsored by:
SourceForge Enterprise Edition + IBM + LinuxWorld = Something 2 See!
http://www.vasoftware.com
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel