X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcRnDriver.lhs;h=fadd442a87f8dbbd40f0757fd0e7055637fcd3fd;hb=25f84fa7e4b84c3db5ba745a7881c009b778e0b1;hp=4a3cb5e7a01e4f18f9d5542ac84b94b034fa25bd;hpb=b0d80aa3d908a6b9991920a5ac7fd1b437ecafd3;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcRnDriver.lhs b/compiler/typecheck/TcRnDriver.lhs
index 4a3cb5e..fadd442 100644
--- a/compiler/typecheck/TcRnDriver.lhs
+++ b/compiler/typecheck/TcRnDriver.lhs
@@ -5,6 +5,13 @@
 \section[TcModule]{Typechecking a whole module}
 
 \begin{code}
+{-# OPTIONS -w #-}
+-- The above warning supression flag is a temporary kludge.
+-- While working on this module you are encouraged to remove it and fix
+-- any warnings in the module. See
+--     http://hackage.haskell.org/trac/ghc/wiki/Commentary/CodingStyle#Warnings
+-- for details
+
 module TcRnDriver (
 #ifdef GHCI
 	tcRnStmt, tcRnExpr, tcRnType,
@@ -245,7 +252,7 @@ tcRnImports hsc_env this_mod import_decls
 
 		-- Check type-familily consistency
 	; traceRn (text "rn1: checking family instance consistency")
-	; let { dir_imp_mods = map (\ (mod, _, _) -> mod) 
+	; let { dir_imp_mods = map (\ (mod, _) -> mod) 
 			     . moduleEnvElts 
 			     . imp_mods 
 			     $ imports }
@@ -1060,16 +1067,18 @@ tcGhciStmts stmts
 	 } ;
 
 	-- OK, we're ready to typecheck the stmts
-	traceTc (text "tcs 2") ;
+	traceTc (text "TcRnDriver.tcGhciStmts: tc stmts") ;
 	((tc_stmts, ids), lie) <- getLIE $ tc_io_stmts stmts $ \ _ ->
 					   mappM tcLookupId names ;
 					-- Look up the names right in the middle,
 					-- where they will all be in scope
 
 	-- Simplify the context
+	traceTc (text "TcRnDriver.tcGhciStmts: simplify ctxt") ;
 	const_binds <- checkNoErrs (tcSimplifyInteractive lie) ;
 		-- checkNoErrs ensures that the plan fails if context redn fails
 
+	traceTc (text "TcRnDriver.tcGhciStmts: done") ;
 	return (ids, mkHsDictLet const_binds $
 		     noLoc (HsDo DoExpr tc_stmts (mk_return ids) io_ret_ty))
     }