From bb026cba3610d8b3037ceade1d7140dd0096da91 Mon Sep 17 00:00:00 2001 From: simonpj Date: Thu, 28 Jul 2005 13:51:54 +0000 Subject: [PATCH] [project @ 2005-07-28 13:51:54 by simonpj] Back out earlier version of TH fix (dont merge this) --- ghc/compiler/typecheck/TcSplice.lhs | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) 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 -> -- 1.7.10.4