projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
bb78cb6
)
[project @ 2005-07-18 11:47:08 by simonpj]
author
simonpj
<unknown>
Mon, 18 Jul 2005 11:47:08 +0000
(11:47 +0000)
committer
simonpj
<unknown>
Mon, 18 Jul 2005 11:47:08 +0000
(11:47 +0000)
Fix TH_reifyType2 test
ghc/compiler/typecheck/TcSplice.lhs
patch
|
blob
|
history
diff --git
a/ghc/compiler/typecheck/TcSplice.lhs
b/ghc/compiler/typecheck/TcSplice.lhs
index
ffc9ec6
..
24bb40c
100644
(file)
--- 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 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 )
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)
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 ->
tc_bracket (ExpBr expr)
= newTyFlexiVarTy liftedTypeKind `thenM` \ any_ty ->