X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcType.lhs;h=8a95b0f65f6f26f711578fc00d3505a665c0ad9f;hb=c80364f8e4681b34e974f5df36ecdacec7cd9cd8;hp=47bb554e867d4760659079f8bd8bfbe3c6f89813;hpb=9ba922ee06b048774d7a82964867ff768a78126e;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcType.lhs b/compiler/typecheck/TcType.lhs
index 47bb554..8a95b0f 100644
--- a/compiler/typecheck/TcType.lhs
+++ b/compiler/typecheck/TcType.lhs
@@ -451,6 +451,9 @@ pprSkolTvBinding tv
 				   sep [pprSkolInfo info, 
 					nest 2 (ptext (sLit "at") <+> ppr (getSrcLoc tv))]]
  
+instance Outputable SkolemInfo where
+  ppr = pprSkolInfo
+
 pprSkolInfo :: SkolemInfo -> SDoc
 -- Complete the sentence "is a rigid type variable bound by..."
 pprSkolInfo (SigSkol ctxt)  = pprUserTypeCtxt ctxt