diff options
| author | simonpj@microsoft.com <unknown> | 2010-09-08 17:00:56 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2010-09-08 17:00:56 +0000 |
| commit | 4f567555306f33c96348eb3b363ca1cd51a9ef8b (patch) | |
| tree | fe5e51341074692c331f1ba4ff5d195ef3786c7b | |
| parent | e2ad220248f5e29bca7c42903780a687086e6b65 (diff) | |
| download | haskell-4f567555306f33c96348eb3b363ca1cd51a9ef8b.tar.gz | |
Trace output
| -rw-r--r-- | compiler/typecheck/TcDeriv.lhs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/typecheck/TcDeriv.lhs b/compiler/typecheck/TcDeriv.lhs index 6482e7980a..c4c885431e 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 |