Issues · Glasgow Haskell Compiler / GHC · GitLab

TypeError hides a second error message

#16894 · opened Jul 02, 2019 by Joey Hess 5 Pnormal bug custom type errors error messages typechecker user-facing
- 2
updated Jan 23, 2020
Refactor Ct and friends

#16947 · opened Jul 16, 2019 by Richard Eisenberg 9.2.1 Pnormal task typechecker
- 0
updated Jan 22, 2021
Type error being deferred to other values

#16954 · opened Jul 18, 2019 by Some Guy Pnormal typechecker
- 0
updated Jan 23, 2020
More of Note [Let-bound skolems]

#16967 · opened Jul 22, 2019 by Richard Eisenberg Pnormal feature request typechecker
- 1
updated Aug 01, 2019
Break out TcTyVar into its own type

#16982 · opened Jul 25, 2019 by Richard Eisenberg Pnormal task typechecker
- 3
updated Aug 01, 2019
Refactor TcTyCon into its own type

#17032 · opened Aug 06, 2019 by Richard Eisenberg task typechecker
- 1
updated Aug 19, 2019
Investigate Note [Kind checking recursive type and class declarations]

#17033 · opened Aug 06, 2019 by Richard Eisenberg task typechecker
- 0
updated Jan 23, 2020
`-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
Dependent quantification prevents unification

#17072 · opened Aug 17, 2019 by Vladislav Zavialov feature request typechecker visible dependent quantification
- 1
- 17
updated Jan 23, 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
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
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
Levity polymorphism and defaulting

#17201 · opened Sep 17, 2019 by Krzysztof Gogolewski levity polymorphism task typechecker
- 10
updated Sep 24, 2020
Slow Typechecking (Followup of #14987)

#17223 · opened Sep 20, 2019 by Victor Cacciari Miraldo bug compiler perf typechecker
- 1
- 24
updated Sep 23, 2020
Infelicities in pure unifier

#17225 · opened Sep 20, 2019 by Richard Eisenberg bug typechecker
- 0
updated Mar 10, 2020
Quantified constraints which specify associated type instances

#17226 · opened Sep 21, 2019 by sheaf QuantifiedConstraints feature request typechecker
- 1
- 14
updated Jan 23, 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
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
The Purely Kinded Type Invariant (PKTI) is not good enough

#17323 · opened Oct 08, 2019 by Richard Eisenberg bug typechecker
- 1
- 27
updated Jan 24, 2020
Kind-checking associated types

#17327 · opened Oct 09, 2019 by mniip TypeFamilies TypeInType bug typechecker
- 2
updated Feb 18, 2020
GeneralizedNewtypeDeriving should not require that constructor be in scope

#17328 · opened Oct 09, 2019 by Richard Eisenberg deriving typechecker
- 9
updated Jul 03, 2020
Coercible solver does not look through "class newtypes"

#17333 · opened Oct 09, 2019 by Ryan Scott Coercible Pnormal bug program incorrectly rejected typechecker
- 5
updated Feb 16, 2021
Implement homogeneous equality

#17368 · opened Oct 16, 2019 by Richard Eisenberg TypeInType core lint task typechecker
- 2
updated Mar 10, 2020
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
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
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
Don't drop derived quantified constraints

#17564 · opened Dec 10, 2019 by Richard Eisenberg QuantifiedConstraints task typechecker
- 1
updated Dec 11, 2019
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
Never kick out Given Nominal equalities

#17672 · opened Jan 13, 2020 by Richard Eisenberg task typechecker
- 1
updated Jan 19, 2021
Superclass expansion fails in instance declaration

#17679 · opened Jan 13, 2020 by Richard Eisenberg Pnormal bug typechecker
- 3
updated Jan 15, 2020
Refactor mapType/mapCoercion so that they inline

#17717 · opened Jan 20, 2020 by Richard Eisenberg task typechecker
- 0
updated Mar 23, 2020
Refactor solver to leave breadcrumbs

#17718 · opened Jan 20, 2020 by Richard Eisenberg task typechecker
- 1
- 0
updated Jan 20, 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
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
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
`case` needn't instantiate its scrutinee

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

#18196 · opened May 17, 2020 by Identical Snowflake GADTs Pnormal bug typechecker
- 1
updated May 18, 2020
Improve Coercible under foralls

#18220 · opened May 22, 2020 by Simon Peyton Jones typechecker
- 0
updated May 22, 2020
Outdated commentary in solveNestedImplications?

#18295 · opened Jun 03, 2020 by Richard Eisenberg documentation task typechecker
- 2
updated Jun 04, 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
Record update is over-restrictive

#18311 · opened Jun 08, 2020 by Simon Peyton Jones Pnormal bug records typechecker
- 0
updated Oct 05, 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
Suboptimal constraint solving

#18413 · opened Jul 02, 2020 by Simon Peyton Jones compiler perf constraint solver task typechecker
- 4
updated Nov 09, 2020
"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
Improve instantiation of datacons

#18481 · opened Jul 20, 2020 by Krzysztof Gogolewski LinearTypes task typechecker
- 1
updated Jul 21, 2020
GHC fails to infer type with FlexibleContexts

#18529 · opened Aug 03, 2020 by Richard Eisenberg Pnormal bug program incorrectly rejected typechecker
- 0
updated Sep 30, 2020
Why check for -fdefer-type-errors in metaTyVarUpdateOK?

#18689 · opened Sep 14, 2020 by Richard Eisenberg TypeInType typechecker
- 1
updated Dec 22, 2020
GHC could not deduce constraint from itself

#18704 · opened Sep 17, 2020 by rybochodonezzar Pnormal bug typechecker
- 1
- 3
updated Sep 30, 2020
Infer multiplicity of case expression

#18738 · opened Sep 23, 2020 by Arnaud Spiwack LinearTypes feature request typechecker
- 1
updated Feb 18, 2021
Infer multiplicity of let expression

#18739 · opened Sep 23, 2020 by Arnaud Spiwack LinearTypes feature request typechecker
- 6
updated Sep 28, 2020
Remove NoGhcTc, allow HsType GhcTc, HsDecl GhcTc

#18758 · opened Sep 28, 2020 by Vladislav Zavialov 9.2.1 task typechecker
- 1
- 13
updated Sep 30, 2020
Typecheck record update via desugaring

#18802 · opened Oct 05, 2020 by Simon Peyton Jones records task typechecker
- 2
updated Oct 05, 2020
Instance/given overlap trips up the ambiguity check

#18850 · opened Oct 15, 2020 by Richard Eisenberg OverlappingInstances ambiguity check typechecker
- 5
updated Oct 29, 2020
Non-confluence in the solver

#18851 · opened Oct 15, 2020 by Richard Eisenberg FunctionalDependencies Pnormal UndecideableInstances bug constraint solver typechecker
- 41
updated Jan 04, 2021
Quantified equality constraints are not used for rewriting

#18873 · opened Oct 21, 2020 by Richard Eisenberg QuantifiedConstraints constraint solver typechecker
- 3
updated Dec 10, 2020
Partial type signature algorithm fails to infer constraints in the presence of GADTs

#19010 · opened Nov 30, 2020 by sheaf Pnormal bug partial type sigs typechecker
- 16
updated Dec 20, 2020
Type wildcard infers differently than no type signature

#19013 · opened Dec 01, 2020 by dminuoso Pnormal bug partial type sigs typechecker
- 1
updated Dec 10, 2020
Regression: HEAD incurs a reduction stack overflow on program involving type equality

#19042 · opened Dec 09, 2020 by Ryan Scott 9.2.1 Phighest bug program incorrectly rejected typechecker
- 1
- 7
updated Feb 10, 2021
Allow named wildcards in constraints

#19051 · opened Dec 10, 2020 by sheaf partial type sigs typechecker
- 8
updated Dec 23, 2020
Make the canonicaliser do unification

#19060 · opened Dec 14, 2020 by Simon Peyton Jones task typechecker
- 0
updated Dec 14, 2020
Does the sub-type check in Note [Impedance matching] ever fail?

#19131 · opened Dec 27, 2020 by Richard Eisenberg task typechecker
- 3
updated Feb 17, 2021
Incorrect documentation around EqualCtList

#19137 · opened Dec 30, 2020 by Richard Eisenberg constraint solver typechecker
- 0
updated Dec 30, 2020
E-Graphs for representation of normalised refinement types in the pattern-match checker

#19272 · opened Jan 28, 2021 by Sebastian Graf pattern match warnings simplifier task typechecker
- 1
updated Jan 29, 2021
oversized source range in type error message

#19364 · opened Feb 13, 2021 by jwaldmann Pnormal bug error messages typechecker
- 1
updated Feb 25, 2021
Surprising lack of generalisation using MonoLocalBinds

#19396 · opened Feb 17, 2021 by Tom Ellis feature request typechecker
- 7
updated Feb 26, 2021
Deprecate `-Winaccessible-code`

#19428 · opened Feb 23, 2021 by Sebastian Graf needs triage pattern match warnings typechecker
- 3
updated Feb 25, 2021
GHC 9.0 rejects default signature that 8.10 accepts

#19432 · opened Feb 25, 2021 by Ryan Scott DefaultSignatures bug program incorrectly rejected typechecker
- 1
updated Feb 25, 2021

Prev
1
2
3
Next