diff options
| author | Ryan Scott <rscott@galois.com> | 2020-12-09 19:39:31 -0500 |
|---|---|---|
| committer | Ryan Scott <rscott@galois.com> | 2020-12-11 05:40:50 -0500 |
| commit | 20082decc80e5188e4043ca7a577c662c02b029a (patch) | |
| tree | fc5036f0b4c28d92e32927524caa2805c896a3c7 /compiler/GHC/Tc/Validity.hs | |
| parent | 54b88eacbf9d13f2b1d070932a742ec74419c3f5 (diff) | |
| download | haskell-wip/T19008.tar.gz | |
Delete outdated Note [Kind-checking tyvar binders for associated types]wip/T19008
This Note has severely bitrotted, as it has no references anywhere in the
codebase, and none of the functions that it mentions exist anymore. Let's just
delete this. While I was in town, I deleted some outdated comments from
`checkFamPatBinders` of a similar caliber.
Fixes #19008.
[ci skip]
Diffstat (limited to 'compiler/GHC/Tc/Validity.hs')
| -rw-r--r-- | compiler/GHC/Tc/Validity.hs | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/compiler/GHC/Tc/Validity.hs b/compiler/GHC/Tc/Validity.hs index 6f290cb7ab..ff6a89d02f 100644 --- a/compiler/GHC/Tc/Validity.hs +++ b/compiler/GHC/Tc/Validity.hs @@ -2263,12 +2263,6 @@ checkFamPatBinders :: TyCon -> [TcType] -- LHS patterns -> Type -- RHS -> TcM () --- We do these binder checks now, in tcFamTyPatsAndGen, rather --- than later, in checkValidFamEqn, for two reasons: --- - We have the implicitly and explicitly --- bound type variables conveniently to hand --- - If implicit variables are out of scope it may --- cause a crash; notably in tcConDecl in tcDataFamInstDecl checkFamPatBinders fam_tc qtvs pats rhs = do { traceTc "checkFamPatBinders" $ vcat [ debugPprType (mkTyConApp fam_tc pats) |