[project @ 2005-04-16 22:47:23 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 d872de5..08e89b5 100644 (file)
--- 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