X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcSplice.lhs;fp=ghc%2Fcompiler%2Ftypecheck%2FTcSplice.lhs;h=08e89b53f131471ddd3dd5a54b1ee4fe4bb0f805;hb=9d2575d7bef0774c05b509854a54a57941ffb925;hp=d872de5ecfb2d94abb2e06ffd8b12c430cc38723;hpb=f857ebdc976f064ad5b17417d9bb0596828008af;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcSplice.lhs b/ghc/compiler/typecheck/TcSplice.lhs
index d872de5..08e89b5 100644
--- a/ghc/compiler/typecheck/TcSplice.lhs
+++ b/ghc/compiler/typecheck/TcSplice.lhs
@@ -37,7 +37,7 @@ import TypeRep		( Type(..), PredType(..), TyThing(..) )	-- For reification
 import Name		( Name, NamedThing(..), nameOccName, nameModule, isExternalName, 
 			  mkInternalName, nameIsLocalOrFrom )
 import NameEnv		( lookupNameEnv )
-import HscTypes		( lookupType, ExternalPackageState(..) )
+import HscTypes		( lookupType, ExternalPackageState(..), emptyModDetails )
 import OccName
 import Var		( Id, TyVar, idType )
 import Module		( moduleUserString, mkModule )
@@ -141,7 +141,7 @@ tc_bracket (TypBr typ)
 	-- Result type is Type (= Q Typ)
 
 tc_bracket (DecBr decls)
-  = tcTopSrcDecls [{- no boot-names -}] decls		`thenM_`
+  = tcTopSrcDecls emptyModDetails decls		`thenM_`
 	-- Typecheck the declarations, dicarding the result
 	-- We'll get all that stuff later, when we splice it in