X-Git-Url: https://git.martlubbers.net/?p=cloogle-irc.git;a=blobdiff_plain;f=cloogleirc.icl;h=9edcb80690dd5c939eedb963cce15dbecdc293f3;hp=534a57a2d4349d5fb950d90d463476c66869f83e;hb=1c65613d8732d28f6c6c11864ccbc761918ac594;hpb=998c6376312382e65d05473c5778d6ac63add47f

diff --git a/cloogleirc.icl b/cloogleirc.icl
index 534a57a..9edcb80 100644
--- a/cloogleirc.icl
+++ b/cloogleirc.icl
@@ -1,40 +1,29 @@
 module cloogleirc
 
-import Cloogle
-import Text.GenPrint
 import StdEnv
 
+import Control.Applicative
+import Control.Monad => qualified join
+import Data.Either
+import Data.Error
+import Data.Func
 import Data.Functor
+import Data.List
+import qualified Data.Map as DM
 import Data.Maybe
-import Data.Either
-from Data.Func import $, mapSt
-from Text import class Text(..), instance Text String, instance + String
-
+import Data.Tuple
 import Internet.HTTP
-
-import Text.GenJSON
-
-import Text.URI
+import System.CommandLine
 import System.Time
+import Text
+import Text.Encodings.UrlEncoding
+import Text.GenJSON
 
-import Control.Applicative
-import qualified Control.Monad as CM
-import qualified Data.Map as DM
-from Control.Monad import class Monad(bind), >>=
-from Text.Encodings.UrlEncoding import urlEncode
-import System.CommandLine
-import Internet.HTTP
-import Data.Error
-import Data.List
-import Data.Functor
-import Data.Tuple
+import Cloogle.API
 
-import TCPIP
 import IRC
 import IRCBot
 
-import StdMisc, StdDebug
-
 shorten :: String *World -> (String, *World)
 shorten s w 
 # s = if (startsWith "http://" s) s (if (startsWith "https://" s) s ("http://" + s))
@@ -90,6 +79,11 @@ cloogle data w
 		processResult (SyntaxResult (br, re))
 			= "Clean syntax: " +++ re.syntax_title +++ "\n"
 				+++ concat (intersperse "; " re.syntax_code)
+		processResult (ABCInstructionResult (br, re))
+			= "ABC instruction: " +++ re.abc_instruction
+		processResult (ProblemResult pr)
+			= "Common problem: " +++ pr.problem_title
+				+++ "; see https://gitlab.science.ru.nl/cloogle/common-problems/blob/master/" +++ pr.problem_key +++ ".md"
 
 		limitResults :: String -> String
 		limitResults s