[MLton] cvs commit: improved exception history for Overflow

[Matthew Fluet]

> >  2) The default profile insertion of elaborate would name the function 
> >     "anon" or some such, whereas if we do it later, we could give it a 
> >     better name of "raise".
> 
> Elaborate chooses the name when it inserts the Enter/Leave (see
> elaborate-core.fun), so it can do anything it wants.

Speaking of doing anything it wants, I was going to propose changing 
"anon" to "fn".  It conveys the same meaning, and "fn" has the advantage 
of being an SML keyword, while "anon" is a valid SML identifier.