QXR0YWNoZWQgaXMgYSBwYXRjaCB0byBtYWtlIFBvbHkvTUwncyBTb2NrZXQuaW9EZXNjIGNvbmZv cm0gdG8gdGhlCkJhc2lzIGxpYnJhcnkgc3BlY2lmaWNhdGlvbgooaHR0cDovL3d3dy5zdGFuZGFy ZG1sLm9yZy9CYXNpcy9zb2NrZXQuaHRtbCNTSUc6U09DS0VULmlvRGVzYzpWQUwpLgoKTk9URTog SSBoYXZlbid0IHRlc3RlZCB0aGlzIHBhdGNoIG90aGVyIHRoYW4gYnkgY29tcGlsaW5nIGEgcHJv Z3JhbQooc21sYm90KSB0aGF0IHVzZXMgc29ja2V0cy4gIFlvdSBjYW4gZmluZCB0aGUgcHJvZ3Jh bSBmcm9tIG1sdG9ubGliOgoKICBodHRwOi8vbWx0b24ub3JnL2NnaS1iaW4vdmlld3N2bi5jZ2kv bWx0b25saWIvdHJ1bmsvY29tL3NzaC9hc3luYy91bnN0YWJsZS9leGFtcGxlL3NtbGJvdC8KClRo ZSBwcm9ncmFtIGlzIGFuIGV4YW1wbGUgb2YgdXNpbmcgYSBwb3J0YWJsZSAoY29tcGlsZXMgbm93 IHdpdGgKTUxLaXQsIE1MdG9uLCBQb2x5L01MLCBhbmQgU01ML05KKSBhc3luY2hyb25vdXMgcHJv Z3JhbW1pbmcgbGlicmFyeQpmb3IgU01MOgoKICBodHRwOi8vbWx0b24ub3JnL2NnaS1iaW4vdmll d3N2bi5jZ2kvKmNoZWNrb3V0Ki9tbHRvbmxpYi90cnVuay9jb20vc3NoL2FzeW5jL3Vuc3RhYmxl L1JFQURNRQogIGh0dHA6Ly9tbHRvbi5vcmcvY2dpLWJpbi92aWV3c3ZuLmNnaS8qY2hlY2tvdXQq L21sdG9ubGliL3RydW5rL2NvbS9zc2gvYXN5bmMvdW5zdGFibGUvcHVibGljL2FzeW5jLnNpZwoK LVZlc2EgS2Fydm9uZW4KLS0tLS0tLS0tLS0tLS0gbmV4dCBwYXJ0IC0tLS0tLS0tLS0tLS0tCkEg bm9uLXRleHQgYXR0YWNobWVudCB3YXMgc2NydWJiZWQuLi4KTmFtZTogc29ja2V0LnBhdGNoClR5 cGU6IHRleHQveC1kaWZmClNpemU6IDE0MDIgYnl0ZXMKRGVzYzogbm90IGF2YWlsYWJsZQpVcmwg OiBodHRwOi8vbGlzdHMuaW5mLmVkLmFjLnVrL21haWxtYW4vcHJpdmF0ZS9wb2x5bWwvYXR0YWNo bWVudHMvMjAwNzExMTQvYjI1ZmI0NzIvc29ja2V0LmJpbgo=
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.
-
David.Matthews＠prolingua.co.uk -
vesa.a.j.k＠gmail.com