[project @ 2005-11-02 17:41:00 by simonpj]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcSplice.lhs

diff --git a/ghc/compiler/typecheck/TcSplice.lhs b/ghc/compiler/typecheck/TcSplice.lhs
index 37adac1..47b2f6c 100644 (file)
--- 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