Issues · Glasgow Haskell Compiler / GHC · GitLab

Type family equality gets stuck on types that fail the occurs check

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

#17306 · opened Oct 04, 2019 by Jakob Brünker GHCi Pnormal bug compiler crash typechecker
- 1
- 1
updated Oct 09, 2019
GHC.TypeLits.TypeError can print 'GHC.Types.Any' when existentials are involved

#17301 · opened Oct 04, 2019 by sheaf Pnormal bug error messages typechecker
- CLOSED
- 2
- 5
updated Jan 11, 2021
Quantified constraints which specify associated type instances

#17226 · opened Sep 21, 2019 by sheaf QuantifiedConstraints feature request typechecker
- 1
- 14
updated Jan 23, 2020
Infelicities in pure unifier

#17225 · opened Sep 20, 2019 by Richard Eisenberg bug typechecker
- 0
updated Mar 10, 2020
Slow Typechecking (Followup of #14987)

#17223 · opened Sep 20, 2019 by Victor Cacciari Miraldo bug compiler perf typechecker
- 1
- 24
updated Mar 09, 2021
Rank-n-types without -XRankNTypes

#17213 · opened Sep 19, 2019 by Krzysztof Gogolewski 8.10.1 RankNTypes bug typechecker
- CLOSED
- 2
- 0
updated Jul 14, 2020
GHC does not use quantified constraint from transitive superclass

#17202 · opened Sep 18, 2019 by Alexis King Pnormal QuantifiedConstraints bug typechecker
- CLOSED
- 2
- 13
updated Mar 19, 2020
Levity polymorphism and defaulting

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

#17186 · opened Sep 12, 2019 by Richard Eisenberg TypeFamilies bug 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 roles task typechecker
- 3
updated Jan 23, 2020
Enormous error message when importing seemingly unused module

#17139 · opened Aug 30, 2019 by Ryan Scott error messages typechecker
- CLOSED
- 5
updated Dec 26, 2020
Lift restriction that pattern matching on existentials must be strict

#17130 · opened Aug 28, 2019 by bfrk feature request typechecker
- 5
updated Jan 23, 2020
GHC unexpectedly reports variable as untouchable and suggests -XAmbiguousTypes after enabling constraints via associated type family under rank2 argument

#17105 · opened Aug 23, 2019 by Sergey Vinokurov question typechecker
- CLOSED
- 7
updated Sep 02, 2019
"Quantification by level numbers would fail" for an ill-kinded signature

#17077 · opened Aug 19, 2019 by Vladislav Zavialov 8.10.1 bug typechecker
- CLOSED
- 5
updated Sep 24, 2019
Dependent quantification prevents unification

#17072 · opened Aug 17, 2019 by Vladislav Zavialov feature request typechecker visible dependent quantification
- 1
- 17
updated Jan 23, 2020
Compiler ignores Typeable constraint

#17060 · opened Aug 14, 2019 by Robert Peszek 8.10.1 Pnormal Typeable documentation typechecker
- CLOSED
- 2
- 1
- 7
updated Oct 08, 2019
`-Wredundant-constraints` depends on the ordering of constraints with overlapping superclasses

#17053 · opened Aug 10, 2019 by InThisStyle10s6p bug typechecker
- 4
updated Jan 23, 2020
Investigate Note [Kind checking recursive type and class declarations]

#17033 · opened Aug 06, 2019 by Richard Eisenberg task typechecker
- 0
updated Jan 23, 2020
Refactor TcTyCon into its own type

#17032 · opened Aug 06, 2019 by Richard Eisenberg task typechecker
- 1
updated Aug 19, 2019

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