space profiling

Stephen Weeks
Wed, 29 Aug 2001 09:25:30 -0700

> > As  to  the  code  in  the  program  being
> > profiled, I would still probably vote (weakly) for doing this in C.  With the
> > global nature of MLton, any ML code could cause changes in other things.
> Vote for doing what in C?

I believe he means the atExit stuff.  And it is a good point, that we don't want
profiling to interfere with optimization of the program -- the easiest way to do
that is keep it out of ML.