diff options
| author | Simon Peyton Jones <simon.peytonjones@gmail.com> | 2023-01-28 22:12:35 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-02-01 12:31:23 -0500 |
| commit | 955a99ea28a0d06de67f0595d366450281aab0c0 (patch) | |
| tree | 43ee724bf62c7e57403c8e60ab724c7758233afa /linters | |
| parent | 9f95db54e38b21782d058043abe42fd77abfb9ad (diff) | |
| download | haskell-955a99ea28a0d06de67f0595d366450281aab0c0.tar.gz | |
Treat existentials correctly in dubiousDataConInstArgTys
Consider (#22849)
data T a where
MkT :: forall k (t::k->*) (ix::k). t ix -> T @k a
Then dubiousDataConInstArgTys MkT [Type, Foo] should return
[Foo (ix::Type)]
NOT [Foo (ix::k)]
A bit of an obscure case, but it's an outright bug, and the fix is easy.
Diffstat (limited to 'linters')
0 files changed, 0 insertions, 0 deletions