Issues · Glasgow Haskell Compiler / GHC · GitLab

Can't unify `k -> Type` with visible dependent quantification that ignores its quantifiee `forall (x :: k) -> Type`

#21272 · created Mar 21, 2022 by Icelandjack Pnormal Tbug documentation error messages visible dependent quantification
- 5
updated Apr 02, 2022
Dependent quantification prevents unification

#17072 · created Aug 17, 2019 by Vladislav Zavialov Tfeature request typechecker visible dependent quantification
- 1
- 17
updated Mar 21, 2022
GHC should be more forgiving with visible dependent quantification in visible type applications

#16371 · created Feb 27, 2019 by Ryan Scott 5 Pnormal Tbug Trac import typechecker visible dependent quantification
- 4
updated Nov 09, 2020
Check kinds for ambiguity

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

#13408 · created Mar 10, 2017 by Richard Eisenberg 5 Pnormal Tfeature request Trac import TypeInType visible dependent quantification
- 13
updated Sep 25, 2020