From e61557d61120ab6af49cc4f2d7b413eaf7474132 Mon Sep 17 00:00:00 2001
From: Camil Staps <info@camilstaps.nl>
Date: Thu, 13 Jul 2017 08:04:08 +0000
Subject: [PATCH] Slight improvement to #6: delay after sending message
---
IRCBot.icl | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
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)
--
2.20.1