Issues · Glasgow Haskell Compiler / GHC · GitLab

Constraint solver not working

#19094 · opened Dec 20, 2020 by Icelandjack 9.2.1 StandaloneKindSignatures bug constraint solver
- CLOSED
- 2
updated Dec 24, 2020
Core Lint error (ghc 9.1.0.20201202)

#19093 · opened Dec 20, 2020 by Icelandjack 9.2.1 StandaloneKindSignatures core lint
- CLOSED
- 2
updated Dec 24, 2020
ghc 8.10 core dumps (add regression test)

#19092 · opened Dec 20, 2020 by Icelandjack 9.2.1 StandaloneKindSignatures needs triage
- CLOSED
- 1
- 1
updated Dec 24, 2020
Kind inference for newtypes in GADT syntax is deeply broken

#18891 · opened Oct 26, 2020 by Richard Eisenberg 9.2.1 GADTs Pnormal PolyKinds StandaloneKindSignatures TypeFamilies TypeInType UnliftedNewtypes bug levity polymorphism typechecker
- CLOSED
- 2
- 3
updated Dec 08, 2020
Make the forall-or-nothing rule only apply to invisible foralls

#18660 · opened Sep 07, 2020 by Ryan Scott 9.2.1 StandaloneKindSignatures visible dependent quantification
- CLOSED
- 3
- 1
- 3
updated Sep 08, 2020