[commit: ghc] wip/hasfield: Make tcLookupId available in TcS (9822545)

git at git.haskell.org git at git.haskell.org
Mon May 16 08:07:05 UTC 2016


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

On branch  : wip/hasfield
Link       : http://ghc.haskell.org/trac/ghc/changeset/9822545bbb2efb119be006843f63765f2b2fa41f/ghc

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

commit 9822545bbb2efb119be006843f63765f2b2fa41f
Author: Adam Gundry <adam at well-typed.com>
Date:   Tue Dec 22 16:08:12 2015 +0000

    Make tcLookupId available in TcS


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

9822545bbb2efb119be006843f63765f2b2fa41f
 compiler/typecheck/TcSMonad.hs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/compiler/typecheck/TcSMonad.hs b/compiler/typecheck/TcSMonad.hs
index ac38e17..af7c4cc 100644
--- a/compiler/typecheck/TcSMonad.hs
+++ b/compiler/typecheck/TcSMonad.hs
@@ -42,6 +42,7 @@ module TcSMonad (
     getTcEvBinds, getTcEvBindsFromVar, getTcLevel,
     getTcEvBindsMap,
     tcLookupClass,
+    tcLookupId,
 
     -- Inerts
     InertSet(..), InertCans(..),
@@ -119,7 +120,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
@@ -2647,6 +2648,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