diff options
| author | Gabor Greif <ggreif@gmail.com> | 2017-06-29 10:20:11 +0200 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2017-06-29 10:20:11 +0200 |
| commit | 54ccf0c957a279c20e1a37a5a462612af8036739 (patch) | |
| tree | dd51564b0e853286c110e1803f37c4a284b0e1f3 | |
| parent | 7097f94df0c6667be2343306ffcda152fa22abcf (diff) | |
| download | haskell-54ccf0c957a279c20e1a37a5a462612af8036739.tar.gz | |
remove dead function 'tcInstBinders'
| -rw-r--r-- | compiler/typecheck/Inst.hs | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/compiler/typecheck/Inst.hs b/compiler/typecheck/Inst.hs index cad7793f51..093c004d84 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) |