X-Git-Url: https://git.martlubbers.net/?p=cloogle-irc.git;a=blobdiff_plain;f=IRCBot.dcl;h=85a310e699573aea154698b0b80222ac657cdbeb;hp=f0f0af26c6923af0e2306c1ea59c48ef5971db5f;hb=38119fcb7be8437bc535665f20af8b641ee67e64;hpb=2b051d8c52d1d999a5ca902ef75f99635c80f540

diff --git a/IRCBot.dcl b/IRCBot.dcl
index f0f0af2..85a310e 100644
--- a/IRCBot.dcl
+++ b/IRCBot.dcl
@@ -24,4 +24,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)