Issues · Glasgow Haskell Compiler / GHC · GitLab

Inconsistency in acceptance of equality constraints in different forms

#12823 · opened Nov 11, 2016 by David Feuer 5 GADTs Pnormal Trac import feature request typechecker
- 4
updated Jul 07, 2019
Regression around pattern synonyms and higher-rank types

#12820 · opened Nov 10, 2016 by Richard Eisenberg 5 Pnormal Trac import bug typechecker
- 5
updated Jul 07, 2019
Expand Backpack's signature matching relation beyond definitional equality

#12703 · opened Oct 14, 2016 by Edward Z. Yang 5 Pnormal Trac import backpack feature request typechecker
- 3
updated Jul 07, 2019
GHC HEAD no longer reports inaccessible code

#12694 · opened Oct 13, 2016 by Edward Z. Yang 5 Pnormal Trac import bug typechecker
- 4
updated Jul 07, 2019
Type checker no longer accepting code using function composition and rank-n types

#12652 · opened Oct 02, 2016 by Edward Z. Yang 5 Pnormal Trac import bug typechecker
- 11
updated Jan 23, 2020
Inconsistent treatment of FlexibleInstances and MPTCs with standard vs. flexible deriving

#12639 · opened Sep 28, 2016 by David Feuer 5 Pnormal Trac import deriving feature request typechecker
- 1
updated Jul 07, 2019
Eagerly simplify inherently-coherent instances

#12580 · opened Sep 08, 2016 by David Feuer 5 Pnormal Trac import feature request typechecker
- 1
updated Jul 07, 2019
TypeApplications allows instantiation of implicitly-quantified kind variables

#12569 · opened Sep 04, 2016 by Alexey Vagarenko 5 Pnormal Trac import TypeApplications bug typechecker
- 3
updated Jul 07, 2019
Generalize irrefutable patterns (static semantics like let-bindings)

#12190 · opened Jun 13, 2016 by Edward Z. Yang 5 Pnormal Trac import feature request typechecker
- 0
updated Jul 07, 2019
Do not display global bindings with -fno-max-relevant-binds

#12183 · opened Jun 10, 2016 by Edward Z. Yang 5 Pnormal Trac import feature request typechecker
- 3
updated Jul 07, 2019
Can't solve constraints with UndecidableSuperClasses but can infer kind (+ undesired order of kinds)

#12131 · opened May 29, 2016 by Icelandjack 5 Pnormal Trac import UndecidableSuperClasses bug typechecker
- 7
updated Jul 07, 2019
Make injectivity check less conservative

#12114 · opened May 24, 2016 by MikeIzbicki 5 Pnormal Trac import bug feature request typechecker
- 1
updated Jul 07, 2019
Knot-tying failure when type-synonym refers to non-existent data

#12063 · opened May 15, 2016 by Edward Z. Yang 5 Pnormal Trac import broken test bug hs-boot typechecker
- 1
updated Jul 07, 2019
AllowAmbiguousTypes doesn't work with UndecidableSuperClasses

#12046 · opened May 12, 2016 by MikeIzbicki 5 Pnormal Trac import bug typechecker
- 1
updated Jul 07, 2019
Allow documentary type signatures

#11765 · opened Mar 28, 2016 by David Feuer 8.6.1 5 Pnormal Trac import feature request typechecker
- 6
updated Jul 07, 2019
Ambiguous types in pattern synonym not determined by functional dependencies

#11655 · opened Feb 27, 2016 by Icelandjack 5 GADTs Pnormal Trac import bug typechecker
- 1
updated Jul 07, 2019
Make pattern synonym export type mismatch a warning

#11646 · opened Feb 25, 2016 by David Feuer 5 Pnormal Trac import feature request typechecker
- 6
updated Jul 07, 2019
GHC doesn't see () as a Constraint in type family

#11621 · opened Feb 21, 2016 by Icelandjack 5 Pnormal Trac import bug typechecker
- 11
updated Jul 07, 2019
GHC accepts overlapping instances without pragma

#11605 · opened Feb 18, 2016 by bennofs 5 Pnormal Trac import bug typechecker
- 0
updated Jul 07, 2019
Why is UndecidableInstances required for an obviously terminating type family?

#11599 · opened Feb 18, 2016 by Gabor Greif 5 Pnormal Trac import bug typechecker
- 1
updated Jul 07, 2019

Prev
1
2
3
4
5
6
7
8
9
10
…
14
Next