20 Jun
2005
20 Jun
'05
9:51 p.m.
Trying to get ProofPower working against the a recent version (110.54) of Standard ML of New Jersey has flagged a few disccrepancies between the Basis Library as implemented in Poly/ML 4.1.3 and the documentation at http://www.standardml.org/Basis/history.html. What is the position for Poly/ML intended to be?
(The discrepancies I found are in Array.copy and TextIO.inputLine which have different signatures. Poly/ML agrees with the so-called stable version 110.0.7 of SML/NJ, but as that's 7 years old, it's not a very useful implementation!).
Regards,
Rob.