From 0aca75a20ce9387938d762c387fbedbb2726358e Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Fri, 4 May 2001 14:44:07 +0000
Subject: [PATCH] [project @ 2001-05-04 14:44:07 by simonpj] Add more TC
 tracing

---
 ghc/compiler/typecheck/TcTyClsDecls.lhs |    5 +++++
 1 file changed, 5 insertions(+)

diff --git a/ghc/compiler/typecheck/TcTyClsDecls.lhs b/ghc/compiler/typecheck/TcTyClsDecls.lhs
index de26ef9..ae8da7e 100644
--- a/ghc/compiler/typecheck/TcTyClsDecls.lhs
+++ b/ghc/compiler/typecheck/TcTyClsDecls.lhs
@@ -134,6 +134,7 @@ tcGroup unf_env scc
     zonkKindEnv initial_kinds			`thenNF_Tc` \ final_kinds ->
 
 	-- Tie the knot
+    traceTc (text "starting" <+> ppr final_kinds)		`thenTc_`
     fixTc ( \ ~(rec_details_list, _, _) ->
 		-- Step 4 
  	let
@@ -164,6 +165,8 @@ tcGroup unf_env scc
 
     tcSetEnv env				$
 
+    traceTc (text "ready for pass 2" <+> ppr (isRec is_rec))			`thenTc_`
+
 	-- Step 6
 	-- For a recursive group, check all the types again,
 	-- this time with the wimp flag off
@@ -173,6 +176,8 @@ tcGroup unf_env scc
 	returnTc ()
     )						`thenTc_`
 
+    traceTc (text "done")			`thenTc_`
+
 	-- Step 7
 	-- Extend the environment with the final TyCons/Classes 
 	-- and their implicit Ids
-- 
1.7.10.4