[MLton-devel] mlton profiling?

[Stephen Weeks]

Hi Mark.  It was nice to meet you too.  I'm glad to hear the
higher-order stuff worked.

> One thing, though, I noticed that on one of my benchmarks I am
> spending 31% of my time in <poly-equal>.  What is poly-equal?  Does
> this mean I am spending 31% of my time testing for equality of large
> abstract data types?

<poly-equal> corresponds to the MLton implementation of polymorphic
equality, which indeed implements equality of (possibly large) values.
MLton builds a specialized equality function for each type, and the
profiler charges time spent in all such functions to the catch all
"<poly-equal>".  Hopefully, a look with -profile-stack true will show
you which function is using polymorphic equality so heavily.


-------------------------------------------------------
This SF.NET email is sponsored by: eBay
Great deals on office technology -- on eBay now! Click here:
http://adfarm.mediaplex.com/ad/ck/711-11697-6916-5
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel