Add reference to ppr_ty for type variables

2 files changed, 11 insertions, 5 deletions

diff --git a/compiler/utils/OutputableAnnotation.hs b/compiler/utils/OutputableAnnotation.hs
index 12a7bba9e6..fe6a39e1fa 100644
--- a/compiler/utils/OutputableAnnotation.hs
+++ b/compiler/utils/OutputableAnnotation.hs
@@ -6,16 +6,16 @@ import Outputable ( OutputableBndr(..))
 import Name (NamedThing)
 
 data PExpr where
-  PCoreExpr :: (OutputableBndr a, NamedThing a) => Expr a -> PExpr
-  PBind :: (OutputableBndr a, NamedThing a) => Bind a -> PExpr
-  PVar :: (OutputableBndr a, NamedThing a) => BindType -> a -> PExpr
+  PCoreExpr :: NamedThing a => Expr a -> PExpr
+  PBind :: NamedThing a => Bind a -> PExpr
+  PVar :: NamedThing a => BindType -> a -> PExpr
 
 data BindType = Binder | Reference
 
-varBinder :: (OutputableBndr a, NamedThing a) => a -> PExpr
+varBinder :: NamedThing a => a -> PExpr
 varBinder a = PVar Binder a
 
-varReference :: (OutputableBndr a, NamedThing a) => a -> PExpr
+varReference :: NamedThing a => a -> PExpr
 varReference a = PVar Reference a
 
 
diff --git a/compiler/utils/OutputableAnnotation.hs-boot b/compiler/utils/OutputableAnnotation.hs-boot
index d71f632aca..d7120df46b 100644
--- a/compiler/utils/OutputableAnnotation.hs-boot
+++ b/compiler/utils/OutputableAnnotation.hs-boot
@@ -1,3 +1,9 @@
 module OutputableAnnotation where
 
+import {-# SOURCE #-} Name (NamedThing)
+
 data PExpr
+
+data BindType
+
+varReference :: NamedThing a => a -> PExpr