Issues · Glasgow Haskell Compiler / GHC · GitLab

Instantiation doesn't look through dictionaries

#17789 · opened Feb 05, 2020 by Richard Eisenberg needs triage typechecker
- CLOSED
- 1
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 solver to leave breadcrumbs

#17718 · opened Jan 20, 2020 by Richard Eisenberg task typechecker
- 1
- 0
updated Jan 20, 2020
Refactor mapType/mapCoercion so that they inline

#17717 · opened Jan 20, 2020 by Richard Eisenberg task typechecker
- 0
updated Mar 23, 2020
Poly-kinded rewrite rule fails to typecheck (HEAD only)

#17710 · opened Jan 19, 2020 by Ryan Scott 9.0.1 10 Phighest PolyKinds bug rules typechecker
- CLOSED
- 2
- 9
updated Mar 15, 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
Closed type family declaration accepts any name in LHS

#17633 · opened Jan 03, 2020 by Maxim Koltsov 8.8.1 Pnormal TypeFamilies bug program incorrectly accepted typechecker
- CLOSED
- 1
- 2
- 2
updated Jan 03, 2020
Evidence for equality constraints on typeclass methods isn’t erased

#17625 · opened Dec 29, 2019 by Alexis King Pnormal bug typechecker
- CLOSED
- 10
updated Jan 08, 2020
Never `Any`-ify during kind inference

#17567 · opened Dec 11, 2019 by Richard Eisenberg TypeInType task typechecker
- CLOSED
- 2
- 1
- 11
updated Jan 11, 2021
Don't drop derived quantified constraints

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

#17563 · opened Dec 10, 2019 by Richard Eisenberg 8.10.2 QuantifiedConstraints bug program incorrectly accepted typechecker
- 1
- 3
updated Dec 13, 2020
`Any` appearing in a quantified constraint

#17562 · opened Dec 10, 2019 by Richard Eisenberg 9.0.1 QuantifiedConstraints TypeInType bug error messages typechecker
- CLOSED
- 3
- 4
updated Jan 11, 2021
Coercion variables appearing where they shouldn't 0 of 3 tasks completed

#17545 · opened Dec 05, 2019 by Krzysztof Gogolewski task typechecker
- 1
- 2
updated Jan 20, 2020
Regression involving unboxed types and type families

#17541 · opened Dec 04, 2019 by Matthew Pickering Pnormal TypeInType bug program incorrectly rejected typechecker
- CLOSED
- 2
- 9
updated Dec 12, 2019
Wildcards in standalone kind signatures

#17432 · opened Nov 04, 2019 by Richard Eisenberg Pnormal StandaloneKindSignatures feature request partial type sigs typechecker
- 3
updated Jan 12, 2020
`tcMatchTy` is terribly broken

#17395 · opened Oct 23, 2019 by Simon Peyton Jones 8.10.1 Pnormal bug typechecker
- CLOSED
- 2
- 1
updated Nov 01, 2019

Prev
1
2
3
4
5
6
7
8
…
62
Next