[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