14 Nov
2007
14 Nov
'07
5:50 p.m.
Vesa Karvonen wrote:
Attached is a patch to make Poly/ML's Socket.ioDesc conform to the Basis library specification (http://www.standardml.org/Basis/socket.html#SIG:SOCKET.ioDesc:VAL).
Thanks. It looks as though the change from Socket.pollDesc to Socket.ioDesc had changed the name but not the result type.
In order to actually get version 5.1 out of the door in time for the new Isabelle release I'm limiting changes to essential fixes so I'll fix this in CVS after the new release.
David.