Issues · Glasgow Haskell Compiler / GHC · GitLab

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
Eta-expansion of a left-section

#18151 · opened May 06, 2020 by Richard Eisenberg 9.0.1 Pnormal bug incorrect runtime result report impact typechecker
- CLOSED
- 1
- 8
updated Jan 12, 2021
Out-of-date commentary in Tc.Deriv.Infer

#18073 · opened Apr 18, 2020 by Richard Eisenberg deriving task typechecker
- CLOSED
- 2
- 4
updated Apr 23, 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
mkNewTyConRhs panic when trying to constrain newtype with Coercible

#17955 · opened Mar 24, 2020 by matzemathics 9.0.1 Pnormal bug typechecker
- CLOSED
- 4
- 9
updated Jan 23, 2021
Consider using specificity to disambiguate quantified constraints

#17934 · opened Mar 19, 2020 by Richard Eisenberg QuantifiedConstraints feature request typechecker
- 2
updated Feb 21, 2021
Lazy instantiation is incompatible with implicit parameters

#17873 · opened Feb 24, 2020 by Richard Eisenberg ImplicitParams Pnormal bug typechecker
- CLOSED
- 6
updated Jul 15, 2020
"No skolem info" panic with PolyKinds

#17841 · opened Feb 16, 2020 by Jakob Brünker 8.10.2 PolyKinds bug compiler crash typechecker
- CLOSED
- 1
- 3
updated Oct 19, 2020
Deduplicate overlapping Notes [TyVar/TyVar orientation] in TcUnify and [Canonical orientation for tyvar/tyvar equality constraints] in TcCanonical

#17827 · opened Feb 12, 2020 by Richard Eisenberg needs triage typechecker
- CLOSED
- 2
- 1
updated Feb 14, 2020
`case` needn't instantiate its scrutinee

#17790 · opened Feb 05, 2020 by Richard Eisenberg task typechecker
- 0
updated Feb 05, 2020
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

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