From: Mart Lubbers <mart@martlubbers.net>
Date: Mon, 18 Dec 2017 09:29:32 +0000 (+0100)
Subject: Merge branch 'interface-improvements' of github.com:clean-cloogle/clean-irc into... 
X-Git-Url: https://git.martlubbers.net/?p=cloogle-irc.git;a=commitdiff_plain;h=9d3f47b4dfbfcda74e3615361e858d156e3ef395;hp=-c

Merge branch 'interface-improvements' of github.com:clean-cloogle/clean-irc into interface-improvements
---

9d3f47b4dfbfcda74e3615361e858d156e3ef395
diff --combined cloogleirc.icl
index 09ad2f3,8f99a57..a504883
--- a/cloogleirc.icl
+++ b/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