Minor refactoring: give an explicit name to the pretty-printing function for TyThing...

[ghc-hetmet.git] / compiler / typecheck / TcRnTypes.lhs

diff --git a/compiler/typecheck/TcRnTypes.lhs b/compiler/typecheck/TcRnTypes.lhs
index ec2f5da..1e03afd 100644 (file)
--- a/compiler/typecheck/TcRnTypes.lhs
+++ b/compiler/typecheck/TcRnTypes.lhs
@@ -470,7 +470,7 @@ data RefinementVisibility
                                        -- GADT refinement
 
 instance Outputable TcTyThing where    -- Debugging only
                                        -- GADT refinement
 
 instance Outputable TcTyThing where    -- Debugging only

-   ppr (AGlobal g)      = ppr g
+   ppr (AGlobal g)      = pprTyThing g

    ppr elt@(ATcId {})   = text "Identifier" <> 
                          ifPprDebug (brackets (ppr (tct_id elt) <> dcolon <> ppr (tct_type elt) <> comma
                                 <+> ppr (tct_level elt) <+> ppr (tct_co elt)))
    ppr elt@(ATcId {})   = text "Identifier" <> 
                          ifPprDebug (brackets (ppr (tct_id elt) <> dcolon <> ppr (tct_type elt) <> comma
                                 <+> ppr (tct_level elt) <+> ppr (tct_co elt)))