[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