[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 (file)
--- 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