Put back \r\n in toString of IRCCommand even though it makes the output look weird

[cloogle-irc.git] / IRCBot.dcl

diff --git a/IRCBot.dcl b/IRCBot.dcl
index 7ecf7ea..06d8e7f 100644 (file)
--- a/IRCBot.dcl
+++ b/IRCBot.dcl
@@ -22,6 +22,6 @@ from Data.Error import :: MaybeErrorString, :: MaybeError
  *                If the response is nothing the connection is closed
  *                All items in the list are sent back
  * param: World
- * return: Maybe the state together with the new world
+ * return: Maybe an error, the state and the new world
 */
-bot :: (String, Int) [IRCMessage] [IRCMessage] a (IRCMessage a *World -> (Maybe [IRCMessage], a, *World)) *World -> (MaybeErrorString a, *World)
+bot :: (String, Int) [IRCMessage] [IRCMessage] .a (IRCMessage -> (.a -> .(*World -> *(Maybe [IRCMessage], .a, *World)))) *World -> *(Maybe String, .a, *World)