[commit: ghc] wip/ttypeable: TcSMonad: Introduce tcLookupId (9b6a125)
git at git.haskell.org
git at git.haskell.org
Fri Jul 8 14:30:21 UTC 2016
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/ttypeable
Link : http://ghc.haskell.org/trac/ghc/changeset/9b6a125113b0075182c6af055b798b969cc9519d/ghc
>---------------------------------------------------------------
commit 9b6a125113b0075182c6af055b798b969cc9519d
Author: Ben Gamari <ben at smart-cactus.org>
Date: Sun Jan 31 17:42:57 2016 +0100
TcSMonad: Introduce tcLookupId
>---------------------------------------------------------------
9b6a125113b0075182c6af055b798b969cc9519d
compiler/typecheck/TcSMonad.hs | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/compiler/typecheck/TcSMonad.hs b/compiler/typecheck/TcSMonad.hs
index 4c854c2..7130cce 100644
--- a/compiler/typecheck/TcSMonad.hs
+++ b/compiler/typecheck/TcSMonad.hs
@@ -43,7 +43,7 @@ module TcSMonad (
getTopEnv, getGblEnv, getLclEnv,
getTcEvBinds, getTcEvBindsFromVar, getTcLevel,
getTcEvBindsMap,
- tcLookupClass,
+ tcLookupClass, tcLookupId,
-- Inerts
InertSet(..), InertCans(..),
@@ -122,7 +122,7 @@ import FamInstEnv
import qualified TcRnMonad as TcM
import qualified TcMType as TcM
import qualified TcEnv as TcM
- ( checkWellStaged, topIdLvl, tcGetDefaultTys, tcLookupClass )
+ ( checkWellStaged, topIdLvl, tcGetDefaultTys, tcLookupClass, tcLookupId )
import Kind
import TcType
import DynFlags
@@ -2727,6 +2727,9 @@ getLclEnv = wrapTcS $ TcM.getLclEnv
tcLookupClass :: Name -> TcS Class
tcLookupClass c = wrapTcS $ TcM.tcLookupClass c
+tcLookupId :: Name -> TcS Id
+tcLookupId n = wrapTcS $ TcM.tcLookupId n
+
-- Setting names as used (used in the deriving of Coercible evidence)
-- Too hackish to expose it to TcS? In that case somehow extract the used
-- constructors from the result of solveInteract
More information about the ghc-commits
mailing list