Rob Arthan wrote:
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!).
I am, slowly, working through the Basis Library modifying it to conform with the Gansner and Reppy book. The differences are generally minor but it involves carefully looking through all the signatures to make these changes.
Regards, David