@@ -12,6 +12,7 @@ import Util.Pretty
1212
1313import Data.Maybe
1414import Data.List
15+import qualified Data.Text as T
1516
1617-- TODO: Only include names with public/abstract accessibility
1718
@@ -33,7 +34,9 @@ showDoc d | nullDocstring d = empty
3334
3435pprintFD :: Bool -> FunDoc -> Doc OutputAnnotation
3536pprintFD 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 <$>
3740 renderDocstring doc <$>
3841 maybe empty (\f -> text (show f) <> line) f <>
3942 let argshow = showArgs args [] in