projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
2447555
)
[project @ 2001-05-04 14:44:07 by simonpj]
author
simonpj
<unknown>
Fri, 4 May 2001 14:44:07 +0000
(14:44 +0000)
committer
simonpj
<unknown>
Fri, 4 May 2001 14:44:07 +0000
(14:44 +0000)
Add more TC tracing
ghc/compiler/typecheck/TcTyClsDecls.lhs
patch
|
blob
|
history
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
zonkKindEnv initial_kinds `thenNF_Tc` \ final_kinds ->
-- Tie the knot
+ traceTc (text "starting" <+> ppr final_kinds) `thenTc_`
fixTc ( \ ~(rec_details_list, _, _) ->
-- Step 4
let
fixTc ( \ ~(rec_details_list, _, _) ->
-- Step 4
let
@@
-164,6
+165,8
@@
tcGroup unf_env scc
tcSetEnv env $
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
-- 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_`
returnTc ()
) `thenTc_`
+ traceTc (text "done") `thenTc_`
+
-- Step 7
-- Extend the environment with the final TyCons/Classes
-- and their implicit Ids
-- Step 7
-- Extend the environment with the final TyCons/Classes
-- and their implicit Ids