signal handling and save world

Stephen Weeks MLton@sourcelight.com
Fri, 1 Jun 2001 18:37:15 -0700


> > If you restore a world which was doing profiling when it was saved, do you
> > really want to try to set profiling go again?  Not clear to me.
> 
> Well, I want it because I want to profile the compiler, not just
> processing the basis library.

I'm with Matthew.