@@ -12,6 +12,7 @@ import Util.Pretty
13import Data.Maybe
13import Data.Maybe
14import Data.List
14import Data.List
15+import qualified Data.Text as T
16-- TODO: Only include names with public/abstract accessibility
17-- TODO: Only include names with public/abstract accessibility
@@ -33,7 +34,9 @@ showDoc d | nullDocstring d = empty
34pprintFD :: Bool -> FunDoc -> Doc OutputAnnotation
35pprintFD :: Bool -> FunDoc -> Doc OutputAnnotation
35pprintFD imp (FD n doc args ty f)
36pprintFD imp (FD n doc args ty f)
36− = nest 4 (prettyName imp [] n <+> colon <+> pprintPTerm imp [] (map (\(n,_,_,_) -> n) args) ty <$>
37+ = nest 4 (prettyName imp [] n <+> colon <+>
38+ pprintPTerm imp [] [ n | (n@(UN n'),_,_,_) <- args
39+ , not (T.isPrefixOf (T.pack "__") n') ] ty <$>
37 renderDocstring doc <$>
40 renderDocstring doc <$>
38 maybe empty (\f -> text (show f) <> line) f <>
41 maybe empty (\f -> text (show f) <> line) f <>
39 let argshow = showArgs args [] in
42 let argshow = showArgs args [] in