[polyml] Patch(es) to Poly/ML's Basis library (REAL, TEXT_IO, CHAR, STRING)

Vesa Karvonen wrote:

While updating my Extended Basis library (http://mlton.org/cgi-bin/viewsvn.cgi/mltonlib/trunk/com/ssh/extended-basis/u...) to compile with Poly/ML, I fixed some issues in Poly/ML's Basis library implementation:

• I fixed the REAL signature, which did not correspond to the Real

structure. I also sealed the Real structure with the REAL signature to avoid problems like that in the future.

• I added the missing TEXT_IO signature. I haven't checked whether it

conforms to the Basis library spec, but at least there now is a TEXT_IO signature (which is needed by my library).

• I fixed some specifications in the CHAR and STRING signatures to

conform to the Basis spec, with the exception of the STRING.scan value, which seems to be specified incorrectly in the Basis spec (see http://mlton.org/pipermail/mlton/2007-March/029700.html).

Attached is a patch of these changes.

Thanks for that. I've applied those patches with one exception. Your patch removed Real.realRound and I've left it in. I assume that was an oversight.

David.