[MLton] Darwin/PPC changes

[Filip Pizlo]

> My confusion.  There is code in main.fun that needs to be tweaked
> before MLton will allow -profile time to work.  Should I add the
> necessary line for Darwin?

Time profiling is disabled in darwin.h as well, because the _end, _etext,
and _edata symbols are not available on Mach-O systems like Darwin.  Mach
lets you fudge these by using the get_end(), get_etext(), and
get_edata() functions, but that's not recommended.  So, until we figure
out how to get that part to work, I would say that -profile should stay
disabled in main.fun.

--
Filip Pizlo
http://bocks.psych.purdue.edu/
pizlo@purdue.edu