[commit: ghc] master: remove dead function 'tcInstBinders' (54ccf0c)
git at git.haskell.org
git at git.haskell.org
Thu Jun 29 11:07:13 UTC 2017
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/54ccf0c957a279c20e1a37a5a462612af8036739/ghc
>---------------------------------------------------------------
commit 54ccf0c957a279c20e1a37a5a462612af8036739
Author: Gabor Greif <ggreif at gmail.com>
Date: Thu Jun 29 10:20:11 2017 +0200
remove dead function 'tcInstBinders'
>---------------------------------------------------------------
54ccf0c957a279c20e1a37a5a462612af8036739
compiler/typecheck/Inst.hs | 7 +------
1 file changed, 1 insertion(+), 6 deletions(-)
diff --git a/compiler/typecheck/Inst.hs b/compiler/typecheck/Inst.hs
index cad7793..093c004 100644
--- a/compiler/typecheck/Inst.hs
+++ b/compiler/typecheck/Inst.hs
@@ -15,7 +15,7 @@ module Inst (
instCall, instDFunType, instStupidTheta,
newWanted, newWanteds,
- tcInstBinders, tcInstBindersX, tcInstBinderX,
+ tcInstBindersX, tcInstBinderX,
newOverloadedLit, mkOverLit,
@@ -378,11 +378,6 @@ instStupidTheta orig theta
---------------------------
-- | This is used to instantiate binders when type-checking *types* only.
--- See also Note [Bidirectional type checking]
-tcInstBinders :: [TyBinder] -> TcM (TCvSubst, [TcType])
-tcInstBinders = tcInstBindersX emptyTCvSubst Nothing
-
--- | This is used to instantiate binders when type-checking *types* only.
-- The @VarEnv Kind@ gives some known instantiations.
-- See also Note [Bidirectional type checking]
tcInstBindersX :: TCvSubst -> Maybe (VarEnv Kind)
More information about the ghc-commits
mailing list