Skip to content

GitLab

Commit 0380d4ab authored by John van Groningen's avatar John van Groningen
Browse files

Merge branch 'remove-ignored-strictness-annotations' into 'master' 

Remove ignored strictness annotations in TCPChannels

See merge request !2
parents 5b4f256a cea9d37c
Hide whitespace changes
Inline Side-by-side
Showing with 3 additions and 3 deletions
Libraries/TCPIP/TCPChannels.dcl
View file @ 0380d4ab
......@@ -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 @ 0380d4ab
......@@ -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