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
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
