X-Git-Url: https://git.martlubbers.net/?p=cloogle-irc.git;a=blobdiff_plain;f=IRCBot.dcl;h=a2542fd0afb907cf9977dbe398ffaa7cca9300e8;hp=06d8e7fa4f36a56dff448324e73ddb20b989fd11;hb=1c65613d8732d28f6c6c11864ccbc761918ac594;hpb=e81450dc6e427524ac74160cc9d54b1d8fb40cba

diff --git a/IRCBot.dcl b/IRCBot.dcl
index 06d8e7f..a2542fd 100644
--- a/IRCBot.dcl
+++ b/IRCBot.dcl
@@ -1,8 +1,9 @@
 definition module IRCBot
 
-from IRC import :: IRCMessage
-from Data.Maybe import :: Maybe
 from Data.Error import :: MaybeErrorString, :: MaybeError
+from Data.Maybe import :: Maybe
+
+from IRC import :: IRCMessage
 
 /*
  * Spawn an IRC Bot
@@ -24,4 +25,4 @@ from Data.Error import :: MaybeErrorString, :: MaybeError
  * param: 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 -> *(Maybe String, .a, *World)
+bot :: (String, Int) [IRCMessage] [IRCMessage] .a (IRCMessage -> (.a -> *(*World -> *(Maybe [IRCMessage], .a, *World)))) !*World -> *(Maybe String, .a, !*World)