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
GHC should be more forgiving with visible dependent quantification in visible type applications

#16371 · opened Feb 27, 2019 by Ryan Scott 5 Pnormal Trac import bug typechecker visible dependent quantification
- 4
updated Nov 09, 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
Check kinds for ambiguity

#14419 · opened Nov 03, 2017 by Richard Eisenberg 5 Pnormal Trac import bug visible dependent quantification
- 16
updated Jun 21, 2020
Consider inferring a higher-rank kind for type synonyms

#13408 · opened Mar 10, 2017 by Richard Eisenberg 5 Pnormal Trac import TypeInType feature request visible dependent quantification
- 13
updated Sep 25, 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
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
Dependent quantification prevents unification

#17072 · opened Aug 17, 2019 by Vladislav Zavialov feature request typechecker visible dependent quantification
- 1
- 17
updated Jan 23, 2020