diff options
| -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) |