From: simonpj <unknown>
Date: Mon, 18 Jul 2005 11:47:08 +0000 (+0000)
Subject: [project @ 2005-07-18 11:47:08 by simonpj]
X-Git-Tag: Initial_conversion_from_CVS_complete~347
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=8a9aba1ff5e66aad02aba0997339ea6ec60d6b1e;p=ghc-hetmet.git

[project @ 2005-07-18 11:47:08 by simonpj]
Fix TH_reifyType2 test
---

diff --git a/ghc/compiler/typecheck/TcSplice.lhs b/ghc/compiler/typecheck/TcSplice.lhs
index ffc9ec6..24bb40c 100644
--- a/ghc/compiler/typecheck/TcSplice.lhs
+++ b/ghc/compiler/typecheck/TcSplice.lhs
@@ -19,6 +19,7 @@ import qualified Language.Haskell.TH.Syntax as TH
 
 import HsSyn		( HsBracket(..), HsExpr(..), HsSplice(..), LHsExpr, LHsDecl, 
 		   	  HsType, LHsType )
+import LoadIface	( loadHomeInterface )
 import Convert		( convertToHsExpr, convertToHsDecls, convertToHsType, thRdrName )
 import RnExpr		( rnLExpr )
 import RnEnv		( lookupFixityRn, lookupSrcOcc_maybe, lookupImportedName )
@@ -126,8 +127,13 @@ tcBracket brack res_ty
 
 tc_bracket :: HsBracket Name -> TcM TcType
 tc_bracket (VarBr v) 
-  = tcMetaTy nameTyConName
-	-- Result type is Var (not Q-monadic)
+  = do	{ loadHomeInterface msg v	-- Reason: deprecation checking asumes the
+					-- home interface is loaded, and this is the
+					-- only way that is going to happen
+	; tcMetaTy nameTyConName 	-- Result type is Var (not Q-monadic)
+	}
+  where
+    msg = ptext SLIT("Need interface for Template Haskell quoted Name")
 
 tc_bracket (ExpBr expr) 
   = newTyFlexiVarTy liftedTypeKind	`thenM` \ any_ty ->