Issues · Glasgow Haskell Compiler / GHC · GitLab

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 Tfeature request typechecker
- 1
updated Aug 01, 2019
Break out TcTyVar into its own type

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

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

#17033 · opened Aug 06, 2019 by Richard Eisenberg Ttask typechecker
- 0
updated Jan 23, 2020
`-Wredundant-constraints` depends on the ordering of constraints with overlapping superclasses

#17053 · opened Aug 10, 2019 by InThisStyle10s6p Tbug typechecker
- 4
updated Jan 23, 2020
Dependent quantification prevents unification

#17072 · opened Aug 17, 2019 by Vladislav Zavialov Tfeature 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 Tfeature request typechecker
- 5
updated Jan 23, 2020
Role annotations on classes require module-wide IncoherentInstances

#17167 · opened Sep 08, 2019 by Adam Gundry IncoherentInstances Ttask roles typechecker
- 3
updated Jan 23, 2020
Another loop with injective type families

#17186 · opened Sep 12, 2019 by Richard Eisenberg Tbug TypeFamilies compiler crash injective type families typechecker
- 0
updated Nov 10, 2020
Levity polymorphism and defaulting

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

#17223 · opened Sep 20, 2019 by Victor Cacciari Miraldo Coercions Tbug compiler perf typechecker
- 1
- 24
updated Mar 12, 2021
Infelicities in pure unifier

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

#17226 · opened Sep 21, 2019 by sheaf QuantifiedConstraints Tfeature 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 Tbug 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 Tbug typechecker
- 5
updated Dec 11, 2020
The Purely Kinded Type Invariant (PKTI) is not good enough

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

#17327 · opened Oct 09, 2019 by mniip Tbug TypeFamilies TypeInType 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 Tbug program incorrectly rejected typechecker
- 5
updated Feb 16, 2021
Implement homogeneous equality

#17368 · opened Oct 16, 2019 by Richard Eisenberg Ttask TypeInType core lint typechecker
- 2
updated Mar 10, 2020
Wildcards in standalone kind signatures

#17432 · opened Nov 04, 2019 by Richard Eisenberg Pnormal StandaloneKindSignatures Tfeature 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 Ttask typechecker
- 1
- 2
updated Jan 20, 2020
Validity check quantified constraints

#17563 · opened Dec 10, 2019 by Richard Eisenberg 8.10.2 QuantifiedConstraints Tbug 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 Ttask 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 Tbug compiler crash typechecker
- 15
updated Jan 20, 2020
Superclass expansion fails in instance declaration

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

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

#17718 · opened Jan 20, 2020 by Richard Eisenberg Ttask 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 Tbug typechecker
- 2
updated Mar 10, 2020
`case` needn't instantiate its scrutinee

#17790 · opened Feb 05, 2020 by Richard Eisenberg Ttask typechecker
- 0
updated Feb 05, 2020
Consider using specificity to disambiguate quantified constraints

#17934 · opened Mar 19, 2020 by Richard Eisenberg QuantifiedConstraints Tfeature 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 Tbug 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 Tbug TypeInType typechecker
- 1
updated Apr 27, 2020
Type synonym lost with GADTs

#18196 · opened May 17, 2020 by Identical Snowflake GADTs Pnormal Tbug 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 Ttask documentation 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 Tbug TypeInType typechecker
- 6
updated Mar 31, 2021
Record update is over-restrictive

#18311 · opened Jun 08, 2020 by Simon Peyton Jones Pnormal Tbug 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 Tbug typechecker
- 4
updated Jul 20, 2020
Suboptimal constraint solving

#18413 · opened Jul 02, 2020 by Simon Peyton Jones Ttask compiler perf constraint solver typechecker
- 6
updated Mar 29, 2021
"equirecursive" type family leads to stack overflow in ghci

#18456 · opened Jul 15, 2020 by Xia Li-yao GHCi Pnormal Tbug TypeFamilies compiler crash typechecker
- 2
updated Jul 17, 2020
Improve instantiation of datacons

#18481 · opened Jul 20, 2020 by Krzysztof Gogolewski LinearTypes Ttask typechecker
- 1
- 5
updated May 06, 2021
GHC fails to infer type with FlexibleContexts

#18529 · opened Aug 03, 2020 by Richard Eisenberg Pnormal Tbug 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 Tbug typechecker
- 1
- 3
updated Sep 30, 2020
Infer multiplicity of case expression

#18738 · opened Sep 23, 2020 by Arnaud Spiwack LinearTypes Tfeature request typechecker
- 1
updated Apr 12, 2021
Infer multiplicity of let expression

#18739 · opened Sep 23, 2020 by Arnaud Spiwack LinearTypes Tfeature request typechecker
- 6
updated Apr 12, 2021
Remove NoGhcTc, allow HsType GhcTc, HsDecl GhcTc

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

#18802 · opened Oct 05, 2020 by Simon Peyton Jones Ttask records 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 Tbug UndecideableInstances 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 Tbug 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 Tbug partial type sigs typechecker
- 1
updated Dec 10, 2020
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 Ttask 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 Ttask 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 Ttask pattern match warnings simplifier typechecker
- 1
updated Jan 29, 2021
Deprecate `-Winaccessible-code`

#19428 · opened Feb 23, 2021 by Sebastian Graf Ttask pattern match warnings typechecker
- 3
updated May 05, 2021
"No skolem info" with the infinite kind

#19482 · opened Mar 03, 2021 by Rinat Striungis 9.2.1 Pnormal Tbug compiler crash typechecker
- 1
updated Mar 29, 2021
Relax Note [Phantom type variables in kinds] to allow for phantom levity vars

#19487 · opened Mar 04, 2021 by Sebastian Graf UnliftedDatatypes core lint levity polymorphism typechecker
- 13
updated May 06, 2021
Dead suggestion for -XUnliftedNewtypes in checkNewDataCon

#19503 · opened Mar 08, 2021 by Sebastian Graf needs triage typechecker
- 2
updated Mar 08, 2021
The GHCi debugger loses type constraints

#19559 · opened Mar 18, 2021 by Roland Senn GHCi Pnormal Tbug debugger typechecker
- 5
updated Apr 15, 2021
Implement type family reduction via term-level functions

#19634 · opened Apr 02, 2021 by Rinat Striungis 9.4.1 Tfeature request TypeFamilies typechecker
- 1
- 2
updated Apr 09, 2021
GHC's failure to rewrite in coercions & kinds leads to spurious occurs-check failure

#19652 · opened Apr 05, 2021 by Richard Eisenberg Plow Tbug TypeInType constraint solver typechecker
- 0
updated Apr 08, 2021
runExists: a type-level version of runRW

#19675 · opened Apr 09, 2021 by Simon Peyton Jones Plow Tfeature request typechecker
- 3
updated Apr 09, 2021
GHC does not rewrite in FunTy

#19677 · opened Apr 09, 2021 by Richard Eisenberg Pnormal Tbug TypeInType constraint solver levity polymorphism program incorrectly rejected typechecker
- 0
updated Apr 12, 2021
Constraint solver regression in 9.2

#19682 · opened Apr 10, 2021 by Andres Löh 9.2.1 Phigh Tbug constraint solver typechecker
- 1
- 4
updated Apr 13, 2021
Bottom dictionaries can be derived with QuantifiedConstraints, UndecidableInstances and UndecidableSuperClasses

#19690 · opened Apr 12, 2021 by aadaa-fgtaa Pnormal QuantifiedConstraints Tbug UndecidableSuperClasses typechecker
- 5
updated Apr 16, 2021
Unexpected type-checking behavior with let and DataKinds

#19726 · opened Apr 21, 2021 by benjamin Pnormal Tbug program incorrectly rejected typechecker
- 10
updated May 06, 2021
In-scope check for type variables can be confusing in presence of runtime representation polymorphism

#19765 · opened Apr 28, 2021 by Richard Eisenberg Plow error messages typechecker
- 3
updated Apr 29, 2021
Weird behaviour with `tcIfaceExpr`

#19787 · opened May 03, 2021 by Josh Meredith GHC API Pnormal Tbug typechecker
- 9
updated May 03, 2021

Prev
1
2
3
Next