Commit bb026cba authored by simonpj's avatar simonpj
Browse files

[project @ 2005-07-28 13:51:54 by simonpj]

Back out earlier version of TH fix (dont merge this)
parent a32d3e4d
...@@ -19,7 +19,6 @@ import qualified Language.Haskell.TH.Syntax as TH ...@@ -19,7 +19,6 @@ import qualified Language.Haskell.TH.Syntax as TH
import HsSyn ( HsBracket(..), HsExpr(..), HsSplice(..), LHsExpr, LHsDecl, import HsSyn ( HsBracket(..), HsExpr(..), HsSplice(..), LHsExpr, LHsDecl,
HsType, LHsType ) HsType, LHsType )
import LoadIface ( loadHomeInterface )
import Convert ( convertToHsExpr, convertToHsDecls, convertToHsType, thRdrName ) import Convert ( convertToHsExpr, convertToHsDecls, convertToHsType, thRdrName )
import RnExpr ( rnLExpr ) import RnExpr ( rnLExpr )
import RnEnv ( lookupFixityRn, lookupSrcOcc_maybe, lookupImportedName ) import RnEnv ( lookupFixityRn, lookupSrcOcc_maybe, lookupImportedName )
...@@ -126,13 +125,7 @@ tcBracket brack res_ty ...@@ -126,13 +125,7 @@ tcBracket brack res_ty
tc_bracket :: HsBracket Name -> TcM TcType tc_bracket :: HsBracket Name -> TcM TcType
tc_bracket (VarBr v) tc_bracket (VarBr v)
= do { loadHomeInterface msg v -- Reason: deprecation checking asumes the = tcMetaTy nameTyConName -- Result type is Var (not Q-monadic)
-- 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) tc_bracket (ExpBr expr)
= newTyFlexiVarTy liftedTypeKind `thenM` \ any_ty -> = newTyFlexiVarTy liftedTypeKind `thenM` \ any_ty ->
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment