7 Sep
2010
7 Sep
'10
11:54 a.m.
I've just noticed that the Poly/ML top-level initially has the names it unused bound to (). However unlikely, this could be accidentally exploited resulting in less portable code. Otherwise, all top-level value names are as per http://www.standardml.org/Basis/top-level-chapter.html (I suspect the basis library source just needs a few more 'val ()' bindings.)
Phil