Commit 802b299f authored by simonpj's avatar simonpj
Browse files

[project @ 2003-02-21 12:16:44 by simonpj]

Debugging hook jiggling
parent 7e7c296a
......@@ -504,11 +504,11 @@ tidyMoreInsts env insts
tidyInsts :: [Inst] -> (TidyEnv, [Inst])
tidyInsts insts = tidyMoreInsts emptyTidyEnv insts
showLIE :: String -> TcM () -- Debugging
showLIE :: SDoc -> TcM () -- Debugging
showLIE str
= do { lie_var <- getLIEVar ;
lie <- readMutVar lie_var ;
traceTc (text str <+> pprInstsInFull (lieToList lie)) }
traceTc (str <+> pprInstsInFull (lieToList lie)) }
\end{code}
......
......@@ -709,12 +709,16 @@ monad; it augments it and returns the new TcGblEnv.
tcRnGroup :: HsGroup RdrName -> TcM ((TcGblEnv, TcLclEnv), FreeVars)
-- Returns the variables free in the decls, for unused-binding reporting
tcRnGroup decls
= do { -- Rename the declarations
= do { showLIE (text "start of tcRnGroup" ++ ppr decls) ;
-- Rename the declarations
(tcg_env, rn_decls, src_fvs) <- rnTopSrcDecls decls ;
setGblEnv tcg_env $ do {
-- Typecheck the declarations
tc_envs <- tcTopSrcDecls rn_decls ;
showLIE (text "end of tcRnGroup" ++ ppr decls)
return (tc_envs, src_fvs)
}}
......@@ -797,7 +801,7 @@ tcTopSrcDecls
(cls_dm_binds, dm_ids) <- tcClassDecls2 tycl_decls ;
tcExtendGlobalValEnv dm_ids $ do {
inst_binds <- tcInstDecls2 inst_infos ;
showLIE "after instDecls2" ;
showLIE (text "after instDecls2") ;
-- Foreign exports
-- They need to be zonked, so we return them
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment