[MLton] profiling and tail calls

Matthew Fluet fluet@cs.cornell.edu
Tue, 16 Nov 2004 14:40:43 -0500 (EST)


Is it true or false that -profile XYZ can change the tail-recursive nature
of a program?  Similarly, can -profile XYZ not change the tail-recursive
nature of the source program, but inhibit optimizations that may have
improved the number of tail calls.

An assertion to that fact would probably be a good addition to the
UserGuide.