[MLton-devel] MLton and profiling

[Joe Hurd]

Hi Stephen,

thanks for the pointer to the new version of MLton: I'm excited about
the new source-level profiling, and the call-graph looks really neat.

Unfortunately, I'm struggling to get this version of mlton to compile
Metis. The first problem is the changes to the Basis library: the
removal of the GC field in timer records, the disappearance of
Array.extract, etc. But I'm sure I'll be able to work around these in
time.

A bigger problem is the #include <gmp.h> line in IntInt.h. I don't
have root access, and so I've installed GMP in my home directory. Is
there any support for users who've done this? If not, I could just
hack the files as necessary to get it to compile.

Regards,

Joe




-------------------------------------------------------
This SF.NET email is sponsored by:
SourceForge Enterprise Edition + IBM + LinuxWorld = Something 2 See!
http://www.vasoftware.com
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel