From: Mart Lubbers Date: Thu, 13 Jul 2017 10:31:16 +0000 (+0200) Subject: Merge branch 'master' of github.com:clean-cloogle/clean-irc X-Git-Url: https://git.martlubbers.net/?p=cloogle-irc.git;a=commitdiff_plain;h=dfd66ec7ee5f6fdc17cbc28eb3013a245837a51c;hp=5c61e75056305c3199cef1b5d080cc8c4fc23552 Merge branch 'master' of github.com:clean-cloogle/clean-irc --- diff --git a/IRCBot.icl b/IRCBot.icl index de3c36f..0cd1022 100644 --- a/IRCBot.icl +++ b/IRCBot.icl @@ -63,12 +63,12 @@ process chan acc state bot w //Recurse = process chan acc state bot w -send :: [String] TCP_DuplexChannel *World -> (MaybeErrorString (), TCP_DuplexChannel, *World) +send :: ![String] !TCP_DuplexChannel !*World -> (!MaybeErrorString (), !TCP_DuplexChannel, !*World) send [] chan w = (Ok (), chan, w) send [msg:msgs] {sChannel,rChannel} w -# (_, w) = sleep 500000 w # (rpt,i,sChannel,w) = send_MT TIMEOUT (toByteSeq msg) sChannel w | rpt <> TR_Success = (Error "Could not send message", {sChannel=sChannel,rChannel=rChannel}, w) +# (_, w) = sleep 500000 w = send msgs {sChannel=sChannel,rChannel=rChannel} w where sleep :: !Int !*World -> (!Int, *World)