@@ -54,14 +54,12 @@ searchByType pkgs pterm = do
54 [ let docInfo = (n, delabTy i n, fmap (overview . fst) (lookupCtxtExact n (idris_docstrings i))) in
54 [ let docInfo = (n, delabTy i n, fmap (overview . fst) (lookupCtxtExact n (idris_docstrings i))) in
55 displayScore theScore <> char ' ' <> prettyDocumentedIst i docInfo
55 displayScore theScore <> char ' ' <> prettyDocumentedIst i docInfo
56 | (n, theScore) <- names']
56 | (n, theScore) <- names']
57− case idris_outputmode i of
58+ then case idris_outputmode i of
58− RawOutput _ -> do if (not (null docs))
59− then mapM_ iRenderOutput docs
59+ RawOutput _ -> do mapM_ iRenderOutput docs
60− else iRenderError $ text "No results found"
61− iPrintResult ""
60+ iPrintResult ""
62− IdeMode _ _ -> if (not (null docs))
63− then iRenderResult (vsep docs)
61+ IdeMode _ _ -> iRenderResult (vsep docs)
64− else iRenderError $ text "No results found"
62+ else iRenderError $ text "No results found"
65 putIState i -- don't actually make any changes
63 putIState i -- don't actually make any changes
67 numLimit = 50
65 numLimit = 50