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
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
