X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcSimplify.lhs;h=999d390b9cac4cd7114858af53ef079f84dc51e1;hb=1f861358a07a4bf2586964a65aebb4433f16ac70;hp=f5afb360f61db482729290aa4c652470cf9d0f9d;hpb=4418c8e913e93e927a91e58abd1bbc6893aa8d27;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcSimplify.lhs b/ghc/compiler/typecheck/TcSimplify.lhs
index f5afb36..999d390 100644
--- a/ghc/compiler/typecheck/TcSimplify.lhs
+++ b/ghc/compiler/typecheck/TcSimplify.lhs
@@ -569,6 +569,7 @@ inferLoop doc tau_tvs wanteds
 	  | isClassDict inst 		  = DontReduceUnlessConstant	-- Dicts
 	  | otherwise	    		  = ReduceMe 			-- Lits and Methods
     in
+    traceTc (text "infloop" <+> vcat [ppr tau_tvs', ppr wanteds', ppr preds, ppr (grow preds tau_tvs'), ppr qtvs])	`thenM_`
 		-- Step 2
     reduceContext doc try_me [] wanteds'    `thenM` \ (no_improvement, frees, binds, irreds) ->