Update to clean 3.0

[cloogle-irc.git] / cloogleirc.icl

diff --git a/cloogleirc.icl b/cloogleirc.icl
index 534a57a..0150704 100644 (file)
--- a/cloogleirc.icl
+++ b/cloogleirc.icl
@@ -1,6 +1,6 @@
 module cloogleirc
 
-import Cloogle
+import Cloogle.API
 import Text.GenPrint
 import StdEnv
 
@@ -90,6 +90,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://github.com/clean-cloogle/common-problems/blob/master/" +++ pr.problem_key +++ ".md"
 
                limitResults :: String -> String
                limitResults s