From: simonpj <unknown>
Date: Fri, 4 May 2001 14:44:07 +0000 (+0000)
Subject: [project @ 2001-05-04 14:44:07 by simonpj]
X-Git-Tag: Approximately_9120_patches~1993
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=0aca75a20ce9387938d762c387fbedbb2726358e;p=ghc-hetmet.git

[project @ 2001-05-04 14:44:07 by simonpj]
Add more TC tracing
---

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