Issues · Glasgow Haskell Compiler / GHC · GitLab

Note [Do not add duplicate quantified instances] is simplistic, causing rejection of programs

#17719 · opened Jan 20, 2020 by Richard Eisenberg QuantifiedConstraints typechecker
- 0
updated Jul 14, 2020
Refactor mapType/mapCoercion so that they inline

#17717 · opened Jan 20, 2020 by Richard Eisenberg Ttask typechecker
- 0
updated Mar 23, 2020
Superclass expansion fails in instance declaration

#17679 · opened Jan 13, 2020 by Richard Eisenberg Pnormal Tbug typechecker
- 3
updated Jan 15, 2020
Loop in the constraint solver around variables free in kinds

#17644 · opened Jan 06, 2020 by Richard Eisenberg Pnormal Tbug compiler crash typechecker
- 15
updated Jan 20, 2020
Don't drop derived quantified constraints

#17564 · opened Dec 10, 2019 by Richard Eisenberg QuantifiedConstraints Ttask typechecker
- 1
updated Dec 11, 2019
Validity check quantified constraints

#17563 · opened Dec 10, 2019 by Richard Eisenberg 8.10.2 QuantifiedConstraints Tbug program incorrectly accepted typechecker
- 1
- 3
updated Dec 13, 2020
Wildcards in standalone kind signatures

#17432 · opened Nov 04, 2019 by Richard Eisenberg Pnormal StandaloneKindSignatures Tfeature request partial type sigs typechecker
- 3
updated Jan 12, 2020
Implement homogeneous equality

#17368 · opened Oct 16, 2019 by Richard Eisenberg Ttask TypeInType core lint typechecker
- 2
updated Mar 10, 2020
Coercible solver does not look through "class newtypes"

#17333 · opened Oct 09, 2019 by Ryan Scott Coercible Pnormal Tbug program incorrectly rejected typechecker
- 5
updated Feb 16, 2021
GeneralizedNewtypeDeriving should not require that constructor be in scope

#17328 · opened Oct 09, 2019 by Richard Eisenberg deriving typechecker
- 9
updated Jul 03, 2020
Kind-checking associated types

#17327 · opened Oct 09, 2019 by mniip Tbug TypeFamilies TypeInType typechecker
- 2
updated Feb 18, 2020
The Purely Kinded Type Invariant (PKTI) is not good enough

#17323 · opened Oct 08, 2019 by Richard Eisenberg Tbug typechecker
- 1
- 27
updated Jan 24, 2020
Type family equality gets stuck on types that fail the occurs check

#17311 · opened Oct 05, 2019 by isovector Pnormal Tbug typechecker
- 5
updated Dec 11, 2020
:kind! should adhere to -freduction-depth

#17306 · opened Oct 04, 2019 by Jakob Brünker GHCi Pnormal Tbug compiler crash typechecker
- 1
- 1
updated Oct 09, 2019
Infelicities in pure unifier

#17225 · opened Sep 20, 2019 by Richard Eisenberg Tbug typechecker
- 0
updated Mar 10, 2020
Levity polymorphism and defaulting

#17201 · opened Sep 17, 2019 by Krzysztof Gogolewski Ttask levity polymorphism typechecker
- 10
updated Mar 24, 2021
Another loop with injective type families

#17186 · opened Sep 12, 2019 by Richard Eisenberg Tbug TypeFamilies compiler crash injective type families typechecker
- 0
updated Nov 10, 2020
Role annotations on classes require module-wide IncoherentInstances

#17167 · opened Sep 08, 2019 by Adam Gundry IncoherentInstances Ttask roles typechecker
- 3
updated Jan 23, 2020
Lift restriction that pattern matching on existentials must be strict

#17130 · opened Aug 28, 2019 by bfrk Tfeature request typechecker
- 5
updated Jan 23, 2020
`-Wredundant-constraints` depends on the ordering of constraints with overlapping superclasses

#17053 · opened Aug 10, 2019 by InThisStyle10s6p Tbug typechecker
- 4
updated Jan 23, 2020

Prev
1
2
3
4
5
6
7
…
14
Next