space profiling
Matthew Fluet
Matthew Fluet <fluet@CS.Cornell.EDU>
Wed, 29 Aug 2001 11:57:56 -0400 (EDT)
> As to the 64 bit integer support, for now just using IntInf's should be fine.
> It isn't like mlprof does much.
True. But, we'll want them eventually, particularly for Position.int's in
files.
> 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?