Skip to content

GitLab

Verified Commit cea9d37c authored by Camil Staps's avatar Camil Staps
Browse files

Remove ignored strictness annotations in TCPChannels

parent 5b4f256a
Hide whitespace changes
Inline Side-by-side
Showing with 3 additions and 3 deletions
Libraries/TCPIP/TCPChannels.dcl
View file @ cea9d37c
......@@ -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".
......
Libraries/TCPIP/TCPChannels.icl
View file @ cea9d37c
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment