Thanks for reporting that. I have checked it and you are absolutely right. I've fixed it in SVN head. David
On 11/03/2015 02:45, Hiroya Ebine wrote:
In Poly/ML source code, polyml/basis/Socket.sml, Socket.select function declared like this: val select: { rds: sock_desc list, wrs : sock_desc list, exs : sock_desc list, timeOut: Time.time option } -> { rds: sock_desc list, wrs : sock_desc list, exs : sock_desc list }
But, basis library says: select {rds, wrs, exs, timeout} (http://sml-family.org/Basis/socket.html#SIG:SOCKET.select:VAL)
It seems a typo. Argument "timeOut" shoud be "timeout". Please fix it or tell me where post a patch.
Sorry for poor english. Thank you. _______________________________________________ polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml