Issues · Glasgow Haskell Compiler / GHC · GitLab

GHC panic (No skolem info) with RankNTypes and strange scoping

#16245 · opened Jan 27, 2019 by Ryan Scott 5 Pnormal QuantifiedConstraints RankNTypes Trac import TypeInType bug compiler crash typechecker
- CLOSED
- 4
- 9
updated Dec 31, 2020
QuantifiedConstraints fails to deduce trivial constraint

#16123 · opened Jan 03, 2019 by Erik Schnetter 5 Pnormal QuantifiedConstraints Trac import bug
- CLOSED
- 4
updated Jul 07, 2019
QuantifiedConstraints: Spurious error involving superclass constraints

#15974 · opened Nov 29, 2018 by Alexis King 8.6.3 5 Pnormal QuantifiedConstraints Trac import bug
- CLOSED
- 3
updated Jul 07, 2019
"ASSERT failed" with quantified constraints

#15943 · opened Nov 23, 2018 by Icelandjack 8.6.3 5 Pnormal QuantifiedConstraints Trac import bug
- CLOSED
- 3
updated Jul 07, 2019
Implication constraint priority breaks default class implementations

#15636 · opened Sep 13, 2018 by i-am-tom 8.6.1 5 Pnormal QuantifiedConstraints Trac import bug
- CLOSED
- 3
updated Jul 07, 2019
Implication introduction for quantified constraints

#15635 · opened Sep 12, 2018 by David Feuer 8.6.1 5 Pnormal QuantifiedConstraints Trac import feature request
- CLOSED
- 3
updated Jul 07, 2019
GHC panic, with QuantifiedConstraints

#15625 · opened Sep 10, 2018 by Icelandjack 5 Pnormal QuantifiedConstraints Trac import bug
- CLOSED
- 6
updated Jul 07, 2019
QuantifiedConstraints: trouble with type family

#15593 · opened Sep 02, 2018 by Icelandjack 8.6.1 5 ConstraintKinds Pnormal QuantifiedConstraints Trac import bug
- CLOSED
- 4
updated Jul 07, 2019
Deriving with QuantifiedConstraints is unable to penetrate type families

#15507 · opened Aug 11, 2018 by isovector 8.6.1 5 Pnormal QuantifiedConstraints Trac import bug
- CLOSED
- 2
updated Jul 07, 2019
Quantified constraints do not work with equality constraints

#15359 · opened Jul 11, 2018 by Richard Eisenberg 8.8.1 5 Pnormal QuantifiedConstraints Trac import bug
- CLOSED
- 16
updated Jul 07, 2019
(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
QuantifiedConstraints: panic "addTcEvBind NoEvBindsVar"

#15290 · opened Jun 19, 2018 by Richard Eisenberg 8.6.1 5 Pnormal QuantifiedConstraints Trac import bug
- CLOSED
- 36
updated May 21, 2020
Ambiguity checks in QuantifiedConstraints

#15244 · opened Jun 07, 2018 by bitwiseshiftleft 8.6.1 5 Pnormal QuantifiedConstraints Trac import bug
- CLOSED
- 4
updated Jan 20, 2020
Make (=>) polykinded (:: k -> k -> Constraint)

#14943 · opened Mar 19, 2018 by Icelandjack 5 Pnormal QuantifiedConstraints Trac import bug
- CLOSED
- 3
updated Oct 18, 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
QuantifiedConstraints can prove anything with an infinite loop.

#17267 · opened Sep 27, 2019 by James Payor 8.10.1 10 Phighest QuantifiedConstraints
- CLOSED
- 11
updated Dec 23, 2019
:instances returns ill kinded result when combined with QuantifiedConstraints

#18071 · opened Apr 18, 2020 by Ryan Scott GHCi QuantifiedConstraints
- CLOSED
- 2
- 3
updated May 28, 2020
Quantified constraint doesn't evidence type family instances

#17939 · opened Mar 20, 2020 by Tom Harding Pnormal QuantifiedConstraints TypeFamilies bug
- CLOSED
- 2
updated Mar 29, 2020
Quantified constraints leads to type errors when deriving default class methods

#17794 · opened Feb 05, 2020 by Patrick Thomson QuantifiedConstraints needs triage
- CLOSED
- 7
updated Mar 19, 2020
`Any` appearing in a quantified constraint

#17562 · opened Dec 10, 2019 by Richard Eisenberg 9.0.1 QuantifiedConstraints TypeInType bug error messages typechecker
- CLOSED
- 3
- 4
updated Jan 11, 2021