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
Well spotted. I've cleaned them up and added a regression test for "it". That's the most likely to be accidentally added.
David
Phil Clayton wrote:
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
-
David.Matthews＠prolingua.co.uk -
phil.clayton＠lineone.net