[MLton-devel] Re: Twelf benchmark

[Stephen Weeks]

> By the way, do you know of any way to do space profiling for ML?
> SML/NJ is not very helpful....

I forgot that MLton also has a function that can be useful for finding
out about space usage:

	 val MLton.size: 'a -> size

MLton.size x returns the amount of heap space (in bytes) taken by the
value of x.  It takes time proportional to the size of its argument.
We use it in MLton to find out the size of syntax trees in ILs.


-------------------------------------------------------
This sf.net email is sponsored by:
With Great Power, Comes Great Responsibility 
Learn to use your power at OSDN's High Performance Computing Channel
http://hpc.devchannel.org/
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel