git.iko.soy/Idris-dev
on master help sign in
Improve display of :apropos
8c7bde9David Raymond Christiansen
src/Idris/REPL.hs+5−2
compare with master
unifiedsplit
@@ -966,11 +966,14 @@ process h fn (Apropos a) =
966 let aproposInfo = [ (n,
966 let aproposInfo = [ (n,
967 delabTy ist n,
967 delabTy ist n,
968 fmap (overview . fst) (lookupCtxtExact n (idris_docstrings ist)))
968 fmap (overview . fst) (lookupCtxtExact n (idris_docstrings ist)))
969− | n <- names ]
969+ | n <- sort names, isUN n ]
970 ihRenderResult h $ vsep (map (renderApropos impl) aproposInfo)
970 ihRenderResult h $ vsep (map (renderApropos impl) aproposInfo)
971 where renderApropos impl (name, ty, docs) =
971 where renderApropos impl (name, ty, docs) =
972− prettyName impl [] name <+> colon <+> align (prettyImp impl ty) <$>
972+ prettyName True [] name <+> colon <+> align (prettyImp impl ty) <$>
973 fromMaybe empty (fmap (\d -> renderDocstring d <> line) docs)
973 fromMaybe empty (fmap (\d -> renderDocstring d <> line) docs)
974+ isUN (UN _) = True
975+ isUN (NS n _) = isUN n
976+ isUN _ = False
974
977
975classInfo :: ClassInfo -> Idris ()
978classInfo :: ClassInfo -> Idris ()
976classInfo ci = do iputStrLn "Methods:\n"
979classInfo ci = do iputStrLn "Methods:\n"