diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-02-03 04:48:18 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-02-09 16:22:17 -0500 |
| commit | be4231782b316754109d339a409ffc05767e883f (patch) | |
| tree | 1b0296e2879af43edd85a69564a5079c3fb33e9e /compiler/GHC/Iface | |
| parent | 891a791f3f2438e5d768e1f96119d275e58e8d37 (diff) | |
| download | haskell-be4231782b316754109d339a409ffc05767e883f.tar.gz | |
Fix pretty-printing of invisible arguments for FUN 'Many (#19310)
Diffstat (limited to 'compiler/GHC/Iface')
| -rw-r--r-- | compiler/GHC/Iface/Type.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/compiler/GHC/Iface/Type.hs b/compiler/GHC/Iface/Type.hs index 4cb9178f98..67f27410e8 100644 --- a/compiler/GHC/Iface/Type.hs +++ b/compiler/GHC/Iface/Type.hs @@ -1419,8 +1419,10 @@ pprTyTcApp ctxt_prec tc tys = , IA_Arg (IfaceTyConApp rep IA_Nil) Required args <- tys , rep `ifaceTyConHasKey` manyDataConKey , print_type_abbreviations -- See Note [Printing type abbreviations] - -> pprIfacePrefixApp ctxt_prec (parens arrow) (map (ppr_ty appPrec) $ - appArgsIfaceTypes $ stripInvisArgs (PrintExplicitKinds print_kinds) args) + -> pprIfacePrefixApp ctxt_prec (parens arrow) (map (ppr_app_arg appPrec) $ + appArgsIfaceTypesArgFlags $ stripInvisArgs (PrintExplicitKinds print_kinds) args) + -- Use appArgsIfaceTypesArgFlags to print invisible arguments + -- correctly (#19310) | tc `ifaceTyConHasKey` errorMessageTypeErrorFamKey , not debug |