[commit: ghc] wip/ttypeable: TcSMonad: Introduce tcLookupId (5c522f9)

git at git.haskell.org git at git.haskell.org
Sun Jan 29 20:17:49 UTC 2017


Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/ttypeable
Link       : http://ghc.haskell.org/trac/ghc/changeset/5c522f95501a4cbbac6e4417c19a362da6e65a0e/ghc

>---------------------------------------------------------------

commit 5c522f95501a4cbbac6e4417c19a362da6e65a0e
Author: Ben Gamari <ben at smart-cactus.org>
Date:   Sun Jan 31 17:42:57 2016 +0100

    TcSMonad: Introduce tcLookupId


>---------------------------------------------------------------

5c522f95501a4cbbac6e4417c19a362da6e65a0e
 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 d80fea1..13c3dc1 100644
--- a/compiler/typecheck/TcSMonad.hs
+++ b/compiler/typecheck/TcSMonad.hs
@@ -43,7 +43,7 @@ module TcSMonad (
     getTopEnv, getGblEnv, getLclEnv,
     getTcEvBindsVar, getTcLevel,
     getTcEvBindsAndTCVs, getTcEvBindsMap,
-    tcLookupClass,
+    tcLookupClass, tcLookupId,
 
     -- Inerts
     InertSet(..), InertCans(..),
@@ -125,7 +125,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 PrelNames( heqTyConKey, eqTyConKey )
 import Kind
 import TcType
@@ -2612,6 +2612,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