X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcDeriv.lhs;h=c4c885431ee1bc00b1cb2683c8b7c613de9a5957;hb=4f567555306f33c96348eb3b363ca1cd51a9ef8b;hp=6482e7980a0c9e37853a73e455426b5d3edff616;hpb=e2ad220248f5e29bca7c42903780a687086e6b65;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcDeriv.lhs b/compiler/typecheck/TcDeriv.lhs
index 6482e79..c4c8854 100644
--- a/compiler/typecheck/TcDeriv.lhs
+++ b/compiler/typecheck/TcDeriv.lhs
@@ -743,6 +743,7 @@ inferConstraints :: [TyVar] -> Class -> [TcType] -> TyCon -> [TcType] -> ThetaTy
 -- before being used in the instance declaration
 inferConstraints _ cls inst_tys rep_tc rep_tc_args
   = ASSERT2( equalLength rep_tc_tvs all_rep_tc_args, ppr cls <+> ppr rep_tc )
+    pprTrace "ic" (ppr rep_tc $$ ppr rep_tc_tvs $$ ppr (tyConStupidTheta rep_tc) $$ ppr stupid_constraints) $
     stupid_constraints ++ extra_constraints
     ++ sc_constraints ++ con_arg_constraints
   where