From: simonpj <unknown>
Date: Thu, 28 Jul 2005 13:51:54 +0000 (+0000)
Subject: [project @ 2005-07-28 13:51:54 by simonpj]
X-Git-Tag: Initial_conversion_from_CVS_complete~289
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=bb026cba3610d8b3037ceade1d7140dd0096da91;hp=a32d3e4da0aceb624c958f02cad7327e17ac94db;p=ghc-hetmet.git

[project @ 2005-07-28 13:51:54 by simonpj]
Back out earlier version of TH fix (dont merge this)
---

diff --git a/ghc/compiler/typecheck/TcSplice.lhs b/ghc/compiler/typecheck/TcSplice.lhs
index ecc507a..0459956 100644
--- a/ghc/compiler/typecheck/TcSplice.lhs
+++ b/ghc/compiler/typecheck/TcSplice.lhs
@@ -19,7 +19,6 @@ 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,13 +125,7 @@ tcBracket brack res_ty
 
 tc_bracket :: HsBracket Name -> TcM TcType
 tc_bracket (VarBr v) 
-  = 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")
+  = tcMetaTy nameTyConName 	-- Result type is Var (not Q-monadic)
 
 tc_bracket (ExpBr expr) 
   = newTyFlexiVarTy liftedTypeKind	`thenM` \ any_ty ->