diff options
| author | Geoffrey Mainland <mainland@apeiron.net> | 2013-04-25 14:40:08 +0100 |
|---|---|---|
| committer | Geoffrey Mainland <mainland@apeiron.net> | 2013-10-04 14:58:07 -0400 |
| commit | d0d47ba76f8f0501cf3c4966bc83966ab38cac27 (patch) | |
| tree | 6524ff86d0cbefa6c719c1cc17791094bed3eb0e /compiler/typecheck | |
| parent | 459a03e1202c43e484ea97ae2d2112ef14a92259 (diff) | |
| download | haskell-d0d47ba76f8f0501cf3c4966bc83966ab38cac27.tar.gz | |
Check the staging restriction in the renamer.
Diffstat (limited to 'compiler/typecheck')
| -rw-r--r-- | compiler/typecheck/TcEnv.lhs | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/compiler/typecheck/TcEnv.lhs b/compiler/typecheck/TcEnv.lhs index 842ffb4f5d..8085bc24ac 100644 --- a/compiler/typecheck/TcEnv.lhs +++ b/compiler/typecheck/TcEnv.lhs @@ -46,7 +46,7 @@ module TcEnv( -- Template Haskell stuff checkWellStaged, tcMetaTy, thLevel, - topIdLvl, thTopLevelId, thRnBrack, isBrackStage, + topIdLvl, thTopLevelId, isBrackStage, -- New Ids newLocalName, newDFunName, newFamInstTyConName, newFamInstAxiomName, @@ -572,12 +572,6 @@ tcMetaTy tc_name = do t <- tcLookupTyCon tc_name return (mkTyConApp t []) -thRnBrack :: ThStage --- Used *only* to indicate that we are inside a TH bracket during renaming --- Tested by TcEnv.isBrackStage --- See Note [Top-level Names in Template Haskell decl quotes] -thRnBrack = Brack False (panic "thRnBrack1") (panic "thRnBrack2") (panic "thRnBrack3") - isBrackStage :: ThStage -> Bool isBrackStage (Brack {}) = True isBrackStage _other = False |