diff options
| author | Gabor Greif <ggreif@gmail.com> | 2017-06-28 20:04:53 +0200 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2017-06-28 20:04:53 +0200 |
| commit | 7097f94df0c6667be2343306ffcda152fa22abcf (patch) | |
| tree | 7fdfef2f58ea76cb853a3dad28d3e61608e504fc /compiler | |
| parent | 3f9422cb68d564b4e79093532f5d293987d515bd (diff) | |
| download | haskell-7097f94df0c6667be2343306ffcda152fa22abcf.tar.gz | |
Remove unneeded import
This fails in stage 2 when bootstrapping HEAD with HEAD
due to -Werror.
Turns out that tcInstBinders is now dead, and I'll remove it if nobody
protests. I'd like to hear opinions whether
tcInstBindersX then should be renamed to tcInstBinders.
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/typecheck/TcHsType.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/typecheck/TcHsType.hs b/compiler/typecheck/TcHsType.hs index 1b4deecb12..01cac59f3d 100644 --- a/compiler/typecheck/TcHsType.hs +++ b/compiler/typecheck/TcHsType.hs @@ -56,7 +56,7 @@ import TcIface import TcSimplify ( solveEqualities ) import TcType import TcHsSyn( zonkSigType ) -import Inst ( tcInstBinders, tcInstBindersX, tcInstBinderX ) +import Inst ( tcInstBindersX, tcInstBinderX ) import Type import Kind import RdrName( lookupLocalRdrOcc ) @@ -422,7 +422,7 @@ metavariable. In types, however, we're not so lucky, because *we cannot re-generalize*! There is no lambda. So, we must be careful only to instantiate at the last possible moment, when we're sure we're never going to want the lost polymorphism -again. This is done in calls to tcInstBinders and tcInstBindersX. +again. This is done in calls to tcInstBindersX. To implement this behavior, we use bidirectional type checking, where we explicitly think about whether we know the kind of the type we're checking |