Issues · Glasgow Haskell Compiler / GHC · GitLab

HEAD is stricter about instance overlap involving nonlinear unification

#19052 · opened Dec 12, 2020 by Alexis King 9.2.1 Pnormal bug program incorrectly rejected
- CLOSED
- 3
- 1
- 8
updated Dec 19, 2020
Regression: HEAD incurs a reduction stack overflow on program involving type equality

#19042 · opened Dec 09, 2020 by Ryan Scott 9.2.1 Phighest bug program incorrectly rejected typechecker
- 1
- 7
updated Jan 15, 2021
Data family instance with visible forall in return kind is incorrectly rejected

#18939 · opened Nov 11, 2020 by Ryan Scott 9.2.1 TypeFamilies bug program incorrectly rejected visible dependent quantification
- CLOSED
- 3
- 2
updated Nov 15, 2020
Out-of-scope type variables when combining GeneralizedNewtypeDeriving with higher-rank type synonyms

#18914 · opened Oct 31, 2020 by jwaldmann 9.2.1 Pnormal bug deriving program incorrectly rejected
- CLOSED
- 2
- 11
updated Dec 19, 2020
singletons broken by Quick Look

#18748 · opened Sep 25, 2020 by Ben Gamari 9.2.1 ImpredicativeTypes bug program incorrectly rejected
- CLOSED
- 1
- 11
updated Sep 26, 2020
Kind error when using partial type signatures

#18542 · opened Aug 05, 2020 by lennart@augustsson.net 9.2.1 Pnormal bug program incorrectly rejected typechecker
- CLOSED
- 4
updated Aug 06, 2020