git.iko.soy/Idris-dev
on master help sign in
Only show documented arguments in :doc
d1e12d5David Raymond Christiansen
src/Idris/Docs.hs+6−7
compare with master
unifiedsplit
@@ -44,23 +44,22 @@ pprintFD imp (FD n doc args ty f)
44 then nest 4 $ text "Arguments:" <$> vsep argshow
44 then nest 4 $ text "Arguments:" <$> vsep argshow
45 else empty)
45 else empty)
46
46
47− where showArgs ((n, ty, Exp {}, d):args) bnd
47+ where showArgs ((n, ty, Exp {}, Just d):args) bnd
48 = bindingOf n False <+> colon <+>
48 = bindingOf n False <+> colon <+>
49 pprintPTerm imp bnd [] ty <>
49 pprintPTerm imp bnd [] ty <>
50− showDoc (maybe emptyDocstring id d) <> line
50+ showDoc d <> line
51 :
51 :
52 showArgs args ((n, False):bnd)
52 showArgs args ((n, False):bnd)
53− showArgs ((n, ty, Constraint {}, d):args) bnd
53+ showArgs ((n, ty, Constraint {}, Just d):args) bnd
54 = text "Class constraint" <+>
54 = text "Class constraint" <+>
55− pprintPTerm imp bnd [] ty <> showDoc (maybe emptyDocstring id d) <> line
55+ pprintPTerm imp bnd [] ty <> showDoc d <> line
56 :
56 :
57 showArgs args ((n, True):bnd)
57 showArgs args ((n, True):bnd)
58− showArgs ((n, ty, Imp {}, d):args) bnd
58+ showArgs ((n, ty, Imp {}, Just d):args) bnd
59− | Just d' <- d
60 = text "(implicit)" <+>
59 = text "(implicit)" <+>
61 bindingOf n True <+> colon <+>
60 bindingOf n True <+> colon <+>
62 pprintPTerm imp bnd [] ty <>
61 pprintPTerm imp bnd [] ty <>
63− showDoc d' <> line
62+ showDoc d <> line
64 :
63 :
65 showArgs args ((n, True):bnd)
64 showArgs args ((n, True):bnd)
66 showArgs ((n, _, _, _):args) bnd = showArgs args ((n, True):bnd)
65 showArgs ((n, _, _, _):args) bnd = showArgs args ((n, True):bnd)