RE: [Sml-implementers] compilation management

[Peter S. <se...@di...>]

> 8.  Should we standardise the semantics of "use", for those systems that
> provide a top level?  Peter Sestoft analysed the different implementations
> at the time of SML'97.

Maybe this is worth addressing, since the issue was originally raised
by a real user of SML (Larry Paulson, I think), who found the
differences annoying.

As far as I recall, in 1997 there was pretty good agreement between
implementations, after some changes had been made to MLWorks.  At a
later point SML/NJ drifted away slightly, but I'd have to look at the
details again.  

Peter
--
Department of Mathematics and Physics  *  http://www.dina.kvl.dk/~sestoft/
Royal Veterinary and Agricultural University          *  Tel +45 3528 2334
Thorvaldsensvej 40, DK-1871 Frederiksberg C, Denmark  *  Fax +45 3528 2350