Issues · Glasgow Haskell Compiler / GHC · GitLab

(forall x. c x, forall x. d x) is not equivalent to forall x. (c x, d x)

#15334 · opened Jul 02, 2018 by Ryan Scott 8.8.1 5 Pnormal QuantifiedConstraints Trac import bug typechecker
- CLOSED
- 13
updated Aug 05, 2019
Error message prints invisible kind arguments in a visible matter

#15330 · opened Jul 02, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeInType bug error messages typechecker
- CLOSED
- 7
updated Jul 07, 2019
Regarding coherence and implication loops in presence of QuantifiedConstraints

#15316 · opened Jun 26, 2018 by mniip 8.8.1 7 Phigh QuantifiedConstraints Trac import bug typechecker
- CLOSED
- 14
updated Oct 03, 2020
Erroneous "non-exhaustive pattern match" using nested GADT with strictness annotation

#15305 · opened Jun 23, 2018 by jkoppel 8.8.1 5 Pnormal Trac import bug error messages pattern match warnings typechecker
- CLOSED
- 15
updated Sep 22, 2020
Typed hole with higher-rank kind causes GHC to panic (No skolem info)

#15076 · opened Apr 22, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeInType bug compiler crash typechecker typed holes
- CLOSED
- 10
updated Jul 07, 2019
Explicitly quantifying a kind variable causes a telescope to fail to kind-check

#14887 · opened Mar 03, 2018 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeFamilies TypeInType bug typechecker
- CLOSED
- 13
updated Jul 07, 2019
Type family equation refuses to unify wildcard type patterns

#14366 · opened Oct 18, 2017 by Ryan Scott 8.8.1 5 Pnormal Trac import TypeFamilies TypeInType bug typechecker
- CLOSED
- 8
updated Jul 07, 2019
Gruesome kind mismatch errors for associated data family instances

#14230 · opened Sep 14, 2017 by Ryan Scott 8.8.1 7 Phigh Trac import TypeInType bug error messages typechecker
- CLOSED
- 6
updated Jul 07, 2019
TypeFamilyDependencies accepts invalid injectivity annotation

#12430 · opened Jul 24, 2016 by Alexey Vagarenko 8.8.1 7 Phigh Trac import bug injective type families typechecker
- CLOSED
- 5
updated Jul 07, 2019
Cannot use higher-rank kinds with type families

#11719 · opened Mar 18, 2016 by Ollie Charles 8.8.1 5 Pnormal Trac import TypeInType bug typechecker
- CLOSED
- 23
updated Jul 07, 2019