X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=ghc%2Fcompiler%2Ftypecheck%2FTcSplice.lhs;h=47b2f6c7d15c6f66521dfe0aa4842ded8760f47f;hb=d068f518de21a7a21613eb5a34c5eac8517bef75;hp=37adac129127d6ea0f37da94d79e06551eb58011;hpb=acc7346eb5d6e6000b3a4b0e2f7ea00933dff2a4;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcSplice.lhs b/ghc/compiler/typecheck/TcSplice.lhs
index 37adac1..47b2f6c 100644
--- a/ghc/compiler/typecheck/TcSplice.lhs
+++ b/ghc/compiler/typecheck/TcSplice.lhs
@@ -140,13 +140,9 @@ tc_bracket (TypBr typ)
 	-- Result type is Type (= Q Typ)
 
 tc_bracket (DecBr decls)
-  = do	{ setModule thFAKE $ tcTopSrcDecls emptyModDetails decls
+  = do	{  tcTopSrcDecls emptyModDetails decls
 	-- Typecheck the declarations, dicarding the result
 	-- We'll get all that stuff later, when we splice it in
-	-- See comments with RnExpr.rnBracket for the thFAKE stuff;
-	--	the type checker uses the module name to decide which
-	--	names are local (and hence can be found in the local
-	--	type envt), so we do need to set the module here too.
 
 	; decl_ty <- tcMetaTy decTyConName
 	; q_ty    <- tcMetaTy qTyConName