Issues · Glasgow Haskell Compiler / GHC · GitLab

TypeInType is marked as deprecated but has no warning on usage.

#21500 · created May 04, 2022 by Trevis Elser Pnormal Tbug typechecker
- CLOSED
- 1
updated May 05, 2022
GHC panic

#21479 · created May 03, 2022 by Icelandjack 9.2.3 Pnormal Tbug compiler crash typechecker
- CLOSED
- 2
- 5
updated May 11, 2022
Assertion in reportWanteds is too strict

#21405 · created Apr 20, 2022 by sheaf Pnormal Tbug error messages typechecker
- CLOSED
- 2
- 2
updated Apr 27, 2022
decideMonoTyVars doesn't handle coercion variables in "candidates"

#21404 · created Apr 19, 2022 by sheaf Pnormal Tquestion defaulting representation polymorphism typechecker
- CLOSED
- 3
- 3
updated Apr 27, 2022
Add syntactic equality relation

#21239 · created Mar 16, 2022 by sheaf Pnormal Ttask constraint solver representation polymorphism typechecker
- CLOSED
- 9
- 5
updated Apr 28, 2022
Quantified constraint blocks functional dependency

#21209 · created Mar 09, 2022 by Richard Eisenberg FunctionalDependencies Plow QuantifiedConstraints Tbug typechecker
- CLOSED
- 3
updated Mar 25, 2022
GHC doesn't notice some overlapping instances (regression)

#21208 · created Mar 09, 2022 by Richard Eisenberg 9.2.3 Phigh Tbug program incorrectly accepted regression typechecker
- CLOSED
- 16
- 1
- 6
updated Mar 28, 2022
(GHC 9.2.2) Impossible happened...

#21199 · created Mar 08, 2022 by Adam Conner-Sax 9.2.3 Pnormal Tbug backport needed:9.2 typechecker
- CLOSED
- 2
updated Mar 08, 2022
Unfoldings in interface files are sucked in too eagerly

#21139 · created Feb 25, 2022 by Simon Peyton Jones Pnormal Tbug typechecker
- CLOSED
- 1
- 1
updated Feb 26, 2022
Definition of heterogeneous equality rejected unless using a SAKS

#21126 · created Feb 23, 2022 by sheaf 9.4.1 CUSKs GADTs Pnormal StandaloneKindSignatures Ttask documentation typechecker
- CLOSED
- 6
updated Apr 07, 2022
Inconsistent instantiation of inferred type variables when they don't all come first

#21088 · created Feb 16, 2022 by sheaf GHCi Plow Tbug typechecker
- CLOSED
- 3
- 1
updated Mar 03, 2022
Curious kind-checking failure with GHC 9.2.1 and visible dependent quantification

#21040 · created Feb 03, 2022 by Ryan Scott PolyKinds typechecker visible dependent quantification
- CLOSED
- 2
updated Feb 04, 2022
GHC 9.2.1 typechecking regression with RankNTypes and TemplateHaskell

#21038 · created Feb 03, 2022 by Ryan Scott 9.2.2 Phighest RankNTypes Tbug TemplateHaskell typechecker
- CLOSED
- 4
- 9
updated Feb 14, 2022
MonoLocalBinds sometimes monomorphises *global* binds

#21023 · created Jan 30, 2022 by Richard Eisenberg MonomorphismRestriction Pnormal Tfeature request typechecker
- CLOSED
- 2
- 2
updated Mar 07, 2022
ASSERTION failure when building subcategories

#21010 · created Jan 26, 2022 by Matthew Pickering Coercible Plow typechecker
- CLOSED
- 4
- 4
updated Feb 08, 2022
Unhelpful Kind equality error at the start of file

#21006 · created Jan 26, 2022 by Jkensik Pnormal QuantifiedConstraints error messages typechecker
- CLOSED
- 1
- 5
updated Jan 28, 2022
Use ConcreteTv for metavariables that must only be unified with concrete types

#20972 · created Jan 20, 2022 by sheaf Pnormal Tbug representation polymorphism typechecker
- CLOSED
- 2
updated Apr 14, 2022
matchInstEnv accounts for 50% of typechecker time

#20933 · created Jan 11, 2022 by Matthew Pickering Pnormal Tbug compiler perf typechecker
- CLOSED
- 2
- 14
updated Feb 09, 2022
Inconsistent tidying of implications

#20932 · created Jan 11, 2022 by Simon Peyton Jones Phigh Tbug typechecker
- CLOSED
- 4
- 4
updated Feb 06, 2022
Different error with representation-polymorphic binder

#20929 · created Jan 10, 2022 by Krzysztof Gogolewski Plow Ttask error messages typechecker
- CLOSED
- 3
updated Feb 03, 2022

Prev
1
2
3
4
5
…
53
Next