MLton.Socket.shutdown{Read,Write}

Stephen Weeks MLton@sourcelight.com
Tue, 7 Aug 2001 19:53:55 -0700


Would it make sense for these functions to close their argument stream?  Right
now, they just call shutdown.