Issues · Glasgow Haskell Compiler / GHC · GitLab

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
Visible dependent quantification permitted in standalone deriving declarations

#18271 · opened May 31, 2020 by Ryan Scott 9.0.1 deriving visible dependent quantification
- CLOSED
- 3
- 3
updated Jul 01, 2020
ASSERT failure with visible dependent quantification

#17687 · opened Jan 15, 2020 by Richard Eisenberg Pnormal bug compiler crash renamer visible dependent quantification
- CLOSED
- 5
- 8
updated Jan 27, 2020
Implement visible dependent quantification

#16326 · opened Feb 15, 2019 by Ryan Scott 8.10.1 5 Pnormal Trac import ghc proposal task visible dependent quantification
- CLOSED
- 5
updated Jul 07, 2019
Discrepancy between seemingly equivalent type synonym and type family

#15869 · opened Nov 07, 2018 by Ryan Scott 5 Pnormal Trac import TypeFamilies bug typechecker visible dependent quantification
- CLOSED
- 14
updated Jul 07, 2019
strange inferred kind with TypeInType

#15658 · opened Sep 19, 2018 by dmwit 8.10.1 5 Pnormal Trac import bug ghc proposal visible dependent quantification
- CLOSED
- 7
updated Jul 07, 2019
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
Standalone kind signature with VDQ does not roundtrip through Template Haskell

#17164 · opened Sep 08, 2019 by Ryan Scott StandaloneKindSignatures TemplateHaskell visible dependent quantification
- CLOSED
- 1
- 1
updated Jan 15, 2020