Issues · Glasgow Haskell Compiler / GHC · GitLab

"equirecursive" type family leads to stack overflow in ghci

#18456 · opened Jul 15, 2020 by Xia Li-yao GHCi Pnormal TypeFamilies bug compiler crash typechecker
- 2
updated Jul 17, 2020
Suboptimal constraint solving

#18413 · opened Jul 02, 2020 by Simon Peyton Jones compiler perf constraint solver task typechecker
- 4
updated Nov 09, 2020
Functional dependency should constrain local inferred type, but does not

#18406 · opened Jun 29, 2020 by Richard Eisenberg FunctionalDependencies Pnormal bug typechecker
- 4
updated Jul 20, 2020
Record update is over-restrictive

#18311 · opened Jun 08, 2020 by Simon Peyton Jones Pnormal bug records typechecker
- 0
updated Oct 05, 2020
Order of StandaloneKindSignatures and CUSKs extensions significant

#18308 · opened Jun 07, 2020 by Björn Hegerfors CUSKs Pnormal StandaloneKindSignatures TypeInType bug typechecker
- 5
updated Jun 26, 2020
Outdated commentary in solveNestedImplications?

#18295 · opened Jun 03, 2020 by Richard Eisenberg documentation task typechecker
- 2
updated Jun 04, 2020
Improve Coercible under foralls

#18220 · opened May 22, 2020 by Simon Peyton Jones typechecker
- 0
updated May 22, 2020
Type synonym lost with GADTs

#18196 · opened May 17, 2020 by Identical Snowflake GADTs Pnormal bug typechecker
- 1
updated May 18, 2020
A cast might get in the way of instantiation

#18062 · opened Apr 15, 2020 by Simon Peyton Jones Pnormal TypeInType bug typechecker
- 1
updated Apr 27, 2020
GHCi infers too-general type when pattern-matching on existential GADT

#18007 · opened Apr 02, 2020 by infinity0 GADTs GHCi Pnormal bug typechecker
- 1
updated Apr 08, 2020
Consider using specificity to disambiguate quantified constraints

#17934 · opened Mar 19, 2020 by Richard Eisenberg QuantifiedConstraints feature request typechecker
- 2
updated Feb 21, 2021
`case` needn't instantiate its scrutinee

#17790 · opened Feb 05, 2020 by Richard Eisenberg task typechecker
- 0
updated Feb 05, 2020
CUSK-less class typechecks on 8.4, but not on 8.6+

#17772 · opened Jan 31, 2020 by Ryan Scott PolyKinds TypeFamilies bug typechecker
- 4
updated Jun 08, 2020
Recursive superclass check is defeated by quantified constraints

#17737 · opened Jan 24, 2020 by Richard Eisenberg Pnormal QuantifiedConstraints bug typechecker
- 2
updated Mar 10, 2020
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 task typechecker
- 0
updated Mar 23, 2020
Superclass expansion fails in instance declaration

#17679 · opened Jan 13, 2020 by Richard Eisenberg Pnormal bug typechecker
- 3
updated Jan 15, 2020
Never kick out Given Nominal equalities

#17672 · opened Jan 13, 2020 by Richard Eisenberg task typechecker
- 1
updated Jan 19, 2021
Loop in the constraint solver around variables free in kinds

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

#17564 · opened Dec 10, 2019 by Richard Eisenberg QuantifiedConstraints task typechecker
- 1
updated Dec 11, 2019

Prev
1
2
3
4
5
6
7
…
14
Next