Merge branch 'interface-improvements' of github.com:clean-cloogle/clean-irc into...
authorMart Lubbers <mart@martlubbers.net>
Mon, 18 Dec 2017 09:29:32 +0000 (10:29 +0100)
committerMart Lubbers <mart@martlubbers.net>
Mon, 18 Dec 2017 09:29:32 +0000 (10:29 +0100)
1  2 
cloogleirc.icl

diff --combined cloogleirc.icl
@@@ -67,7 -67,6 +67,7 @@@ cloogle data 
  # resp = fromOk mer
  = case fromJSON $ fromString resp.HTTPResponse.rsp_data of
        Nothing = ("couldn't parse json", w)
 +      Just {return=127} = ("No results for " + data, w)
        Just clr = ("Results for " + data + " -- https://cloogle.org/#" +
                replaceSubString "+" "%20" (urlEncode data) + "\n" +
                processResults clr, w)
@@@ -87,6 -86,9 +87,9 @@@
                                +++ toString (length class_funs) +++ " class functions"
                processResult (ModuleResult (br, _))
                        = "Module in " +++ br.library +++ ": " +++ br.modul
+               processResult (SyntaxResult (br, re))
+                       = "Clean syntax: " +++ re.syntax_title +++ "\n"
+                               +++ concat (intersperse "; " re.syntax_code)
  
                limitResults :: String -> String
                limitResults s