From 4f567555306f33c96348eb3b363ca1cd51a9ef8b Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Wed, 8 Sep 2010 17:00:56 +0000 Subject: [PATCH] Trace output --- compiler/typecheck/TcDeriv.lhs | 1 + 1 file changed, 1 insertion(+) 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 -- 1.7.10.4