diff --git a/Libraries/TCPIP/TCPChannels.dcl b/Libraries/TCPIP/TCPChannels.dcl index cd23fa8500b79ce1e6ed61f1c5882cda08b0305f..b6039d527dce7f3d6b35074c8133bc76dd201b3f 100644 --- a/Libraries/TCPIP/TCPChannels.dcl +++ b/Libraries/TCPIP/TCPChannels.dcl @@ -93,8 +93,8 @@ tcpPossible :: !*env // multiplexing // ******************************************************************************** -selectChannel_MT:: !(Maybe Timeout) !*r_channels !*s_channels !*env - -> (![(!Int, !SelectResult)],!*r_channels,!*s_channels,!*env) +selectChannel_MT:: !(Maybe Timeout) !*r_channels !*s_channels !*env + -> (![(Int, SelectResult)],!*r_channels,!*s_channels,!*env) | SelectReceive r_channels & SelectSend s_channels & ChannelEnv env /* selectChannel_MT mbTimeout r_channels s_channels world determines the first channel on which "something happens". diff --git a/Libraries/TCPIP/TCPChannels.icl b/Libraries/TCPIP/TCPChannels.icl index 400821845370f817ec4f62bb5d2f731a33ce0e0d..f0492476cd5c8dcd37ef7a708e13eb1282c5fb12 100644 --- a/Libraries/TCPIP/TCPChannels.icl +++ b/Libraries/TCPIP/TCPChannels.icl @@ -500,7 +500,7 @@ instance toString SelectResult toString SR_Disconnected = "SR_Disconnected" selectChannel_MT :: !(Maybe Timeout) !*r_channels !*s_channels !*env - -> (![(!Int, !SelectResult)], !*r_channels, !*s_channels, !*env) + -> (![(Int, SelectResult)], !*r_channels, !*s_channels, !*env) | SelectReceive r_channels & SelectSend s_channels & ChannelEnv env selectChannel_MT mbTimeout r_channels s_channels env | isJust mbTimeout && fromJust mbTimeout<0