[MLton] changes to compile with -sequence-unit true
Matthew Fluet
fluet@cs.cornell.edu
Fri, 20 Feb 2004 07:57:21 -0500 (EST)
> Matthew, your recent checkin fails to compile with SML/NJ. The
> problem is SML/NJ's weaker handling of the value restriction (see
> directed-graph.sml). In general, there are also potentially problems
> with SML/NJ's weaker inference of flexible record types.
Sorry. I'll keep that in mind.
> I guess I'll take this as good evidence that you work pretty much
> exclusively with the new front end :-).
Yup. MLton dumps an error message well before SML/NJ.