Update references to github
[cloogle-irc.git] / IRC.dcl
diff --git a/IRC.dcl b/IRC.dcl
index 4681254..6cca24e 100644 (file)
--- a/IRC.dcl
+++ b/IRC.dcl
@@ -1,8 +1,9 @@
 definition module IRC
 
 definition module IRC
 
-from Data.Maybe import :: Maybe
-from Data.Either import :: Either
 from StdOverloaded import class fromInt, class toInt, class toString, class fromString
 from StdOverloaded import class fromInt, class toInt, class toString, class fromString
+
+from Data.Either import :: Either
+from Data.Maybe import :: Maybe
 from Text.Parsers.Simple.Core import :: Error
 
 :: IRCMessage =
 from Text.Parsers.Simple.Core import :: Error
 
 :: IRCMessage =
@@ -97,7 +98,7 @@ instance toInt IRCReplies, IRCErrors
        RPL_ENDOFBANLIST | RPL_ENDOFWHOWAS | RPL_INFO | RPL_MOTD | RPL_ENDOFINFO |
        RPL_MOTDSTART | RPL_ENDOFMOTD | RPL_YOUREOPER | RPL_REHASHING |
        RPL_YOURESERVICE | RPL_TIME | RPL_USERSSTART | RPL_USERS | RPL_ENDOFUSERS |
        RPL_ENDOFBANLIST | RPL_ENDOFWHOWAS | RPL_INFO | RPL_MOTD | RPL_ENDOFINFO |
        RPL_MOTDSTART | RPL_ENDOFMOTD | RPL_YOUREOPER | RPL_REHASHING |
        RPL_YOURESERVICE | RPL_TIME | RPL_USERSSTART | RPL_USERS | RPL_ENDOFUSERS |
-       RPL_NOUSERS
+       RPL_NOUSERS | RPL_UNKNOWN
 
 :: IRCErrors = ERR_NOSUCHNICK | ERR_NOSUCHSERVER | ERR_NOSUCHCHANNEL |
        ERR_CANNOTSENDTOCHAN | ERR_TOOMANYCHANNELS | ERR_WASNOSUCHNICK |
 
 :: IRCErrors = ERR_NOSUCHNICK | ERR_NOSUCHSERVER | ERR_NOSUCHCHANNEL |
        ERR_CANNOTSENDTOCHAN | ERR_TOOMANYCHANNELS | ERR_WASNOSUCHNICK |
@@ -115,4 +116,4 @@ instance toInt IRCReplies, IRCErrors
        ERR_NOCHANMODES | ERR_BANLISTFULL | ERR_NOPRIVILEGES |
        ERR_CHANOPRIVSNEEDED | ERR_CANTKILLSERVER | ERR_RESTRICTED |
        ERR_UNIQOPPRIVSNEEDED | ERR_NOOPERHOST | ERR_UMODEUNKNOWNFLAG |
        ERR_NOCHANMODES | ERR_BANLISTFULL | ERR_NOPRIVILEGES |
        ERR_CHANOPRIVSNEEDED | ERR_CANTKILLSERVER | ERR_RESTRICTED |
        ERR_UNIQOPPRIVSNEEDED | ERR_NOOPERHOST | ERR_UMODEUNKNOWNFLAG |
-       ERR_USERSDONTMATCH
+       ERR_USERSDONTMATCH | ERR_UNKNOWN