Issues · Glasgow Haskell Compiler / GHC · GitLab

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
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
Dependent quantification prevents unification

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