Issues · Glasgow Haskell Compiler / GHC · GitLab

Refactor TcTyCon into its own type

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

#17033 · created 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 · created Aug 10, 2019 by InThisStyle10s6p Tbug typechecker
- 4
updated Jan 23, 2020
Dependent quantification prevents unification

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

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

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

#17201 · created Sep 17, 2019 by Krzysztof Gogolewski Ttask representation polymorphism typechecker
- 1
- 26
updated Nov 05, 2021
Slow Typechecking (Followup of #14987)

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

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

#17226 · created Sep 21, 2019 by sheaf QuantifiedConstraints Tfeature request typechecker
- 1
- 14
updated Jan 23, 2020
:kind! should adhere to -freduction-depth

#17306 · created 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 · created Oct 05, 2019 by isovector Pnormal Tbug typechecker
- 5
updated Dec 11, 2020
The Purely Kinded Type Invariant (PKTI) is not good enough

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

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

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

#17333 · created Oct 09, 2019 by Ryan Scott Coercible Pnormal Tbug program incorrectly rejected typechecker
- 6
updated Sep 27, 2021
Implement homogeneous equality

#17368 · created Oct 16, 2019 by Richard Eisenberg Ttask TypeInType core lint typechecker
- 2
updated Jun 16, 2021
Wildcards in standalone kind signatures

#17432 · created 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 · created Dec 05, 2019 by Krzysztof Gogolewski Ttask typechecker
- 1
- 2
updated Jan 20, 2020
Validity check quantified constraints

#17563 · created Dec 10, 2019 by Richard Eisenberg 8.10.2 QuantifiedConstraints Tbug program incorrectly accepted typechecker
- 1
- 4
updated Nov 17, 2021
Don't drop derived quantified constraints

#17564 · created 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 · created Jan 06, 2020 by Richard Eisenberg Pnormal Tbug compiler crash typechecker
- 15
updated Jan 20, 2020
Superclass expansion fails in instance declaration

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

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

#17718 · created 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 · created Jan 20, 2020 by Richard Eisenberg QuantifiedConstraints typechecker
- 0
updated Jul 14, 2020
Recursive superclass check is defeated by quantified constraints

#17737 · created Jan 24, 2020 by Richard Eisenberg Pnormal QuantifiedConstraints Tbug typechecker
- 2
updated Mar 10, 2020
`case` needn't instantiate its scrutinee

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

#17934 · created 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 · created 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 · created Apr 15, 2020 by Simon Peyton Jones Pnormal Tbug TypeInType typechecker
- 1
updated Apr 27, 2020
Type synonym lost with GADTs

#18196 · created May 17, 2020 by Identical Snowflake GADTs Pnormal Tbug typechecker
- 1
- 2
updated Oct 17, 2021
Improve Coercible under foralls

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

#18295 · created Jun 03, 2020 by Richard Eisenberg Ttask documentation typechecker
- 2
updated Jun 04, 2020
Order of StandaloneKindSignatures and CUSKs extensions significant

#18308 · created Jun 07, 2020 by Björn Hegerfors CUSKs Pnormal StandaloneKindSignatures Tbug TypeInType typechecker
- 6
updated Mar 31, 2021
Record update is over-restrictive

#18311 · created Jun 08, 2020 by Simon Peyton Jones Pnormal Tbug records typechecker
- 1
updated Nov 30, 2021
Functional dependency should constrain local inferred type, but does not

#18406 · created Jun 29, 2020 by Richard Eisenberg FunctionalDependencies Pnormal Tbug typechecker
- 4
updated Jul 20, 2020
Suboptimal constraint solving

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

#18456 · created Jul 15, 2020 by Xia Li-yao GHCi Pnormal Tbug TypeFamilies compiler crash typechecker
- 2
updated Jul 17, 2020
GHC fails to infer type with FlexibleContexts

#18529 · created Aug 03, 2020 by Richard Eisenberg Pnormal Tbug program incorrectly rejected typechecker
- 2
updated Jul 26, 2021
Why check for -fdefer-type-errors in metaTyVarUpdateOK?

#18689 · created Sep 14, 2020 by Richard Eisenberg TypeInType typechecker
- 1
updated Dec 22, 2020
Infer multiplicity of case expression

#18738 · created Sep 23, 2020 by Arnaud Spiwack LinearTypes Tfeature request typechecker
- 1
updated Jul 05, 2021
Infer multiplicity of let expression

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

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

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

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

#18851 · created 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 · created 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 · created 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 · created Dec 01, 2020 by dminuoso Pnormal Tbug partial type sigs typechecker
- 1
updated Dec 10, 2020
Allow named wildcards in constraints

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

#19060 · created 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 · created Dec 27, 2020 by Richard Eisenberg Ttask typechecker
- 3
updated Feb 17, 2021
Incorrect documentation around EqualCtList

#19137 · created 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 · created Jan 28, 2021 by Sebastian Graf Ttask pattern match warnings simplifier typechecker
- 3
updated Sep 24, 2021
Deprecate `-Winaccessible-code`

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

#19482 · created Mar 03, 2021 by Rinat Striungis 9.4.1 No skolem info Pnormal Tbug compiler crash typechecker
- 2
updated Sep 13, 2021
Relax Note [Phantom type variables in kinds] to allow for phantom levity vars

#19487 · created Mar 04, 2021 by Sebastian Graf UnliftedDatatypes core lint representation polymorphism typechecker
- 16
updated Jun 02, 2021
Dead suggestion for -XUnliftedNewtypes in checkNewDataCon

#19503 · created Mar 08, 2021 by Sebastian Graf 9.4.1 Plow Ttask typechecker
- 4
updated Oct 28, 2021
The GHCi debugger loses type constraints

#19559 · created Mar 18, 2021 by Roland Senn GHCi Pnormal Tbug debugger typechecker
- 10
updated Nov 25, 2021
Implement type family reduction via term-level functions

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

#19652 · created 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 · created Apr 09, 2021 by Simon Peyton Jones Plow Tfeature request typechecker
- 5
updated Aug 20, 2021
Bottom dictionaries can be derived with QuantifiedConstraints, UndecidableInstances and UndecidableSuperClasses

#19690 · created 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 · created Apr 21, 2021 by benjamin Pnormal Tbug program incorrectly rejected typechecker
- 11
updated May 10, 2021
In-scope check for type variables can be confusing in presence of runtime representation polymorphism

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

#19787 · created May 03, 2021 by Josh Meredith GHC API Pnormal Tbug typechecker
- 9
updated May 03, 2021
Use isReflexiveCo when building an MCo

#19815 · created May 09, 2021 by Simon Peyton Jones Coercions Pnormal Ttask compiler perf typechecker
- 1
updated Nov 18, 2021
Type application in pattern does not substitute correctly

#19847 · created May 14, 2021 by Richard Eisenberg Pnormal PatternSynonyms Tbug TypeApplications program incorrectly rejected typechecker
- 8
updated Jun 24, 2021
Wired-in names in hs-boot files are not fully checked

#19855 · created May 17, 2021 by Sylvain Henry Plow Ttask hs-boot typechecker
- 4
updated May 20, 2021
Confusing error message: could not deduce from identical context

#19860 · created May 17, 2021 by Jaro Reinders 9.4.1 Pnormal Tbug error messages typechecker
- 2
updated May 19, 2021
Using equality constraint in datatype kind signature leads to various strange behaviors

#19929 · created Jun 01, 2021 by Jakob Brünker DataKinds Tbug typechecker
- 1
- 1
updated Jun 14, 2021
Non-terminating substitution with derived constraints

#19974 · created Jun 10, 2021 by sheaf Pnormal Tbug TypeFamilies constraint solver typechecker
- 2
updated Jun 30, 2021
Use predicates in the constraint solver

#20000 · created Jun 16, 2021 by Krzysztof Gogolewski Plow Ttask constraint solver typechecker
- 3
updated Nov 23, 2021
Difference between (Coercible f g) and (forall x. Coercible (f x) (g x))

#20048 · created Jun 25, 2021 by Oleg Grenrus Coercible Pnormal Tquestion typechecker
- 2
updated Jul 30, 2021
No skolem info panic involving typed hole

#20063 · created Jun 29, 2021 by sheaf No skolem info Pnormal Tbug compiler crash typechecker typed holes
- 2
updated Jun 30, 2021
When does GHC quantify over variables fully determined by fundeps?

#20064 · created Jun 30, 2021 by sheaf FunctionalDependencies Plow Ttask constraint solver typechecker
- 2
updated Jun 30, 2021
Backpack can end up confused when a non-nullary type synonym implements abstract data

#20133 · created Jul 19, 2021 by sheaf Tbug backpack typechecker
- 1
updated Oct 19, 2021
Unify wastes effort on casts

#20146 · created Jul 22, 2021 by Simon Peyton Jones Coercions Plow Tquestion typechecker
- 3
updated Jul 27, 2021
mightEqualLater finds an unbound cbv

#20231 · created Aug 14, 2021 by YellPika Pnormal Tbug typechecker
- 2
updated Aug 14, 2021
let-bind more types to save space

#20264 · created Aug 22, 2021 by Richard Eisenberg Pnormal Tbug compiler perf typechecker
- 1
- 4
updated Oct 22, 2021
Constraint solver loop with quantified constraints

#20304 · created Aug 28, 2021 by sheaf Pnormal QuantifiedConstraints Tbug compile-time loop constraint solver typechecker
- 0
updated Aug 31, 2021
GHC complains about impredicativity in type synonym for a quantified constraint

#20318 · created Aug 31, 2021 by Richard Eisenberg ImpredicativeTypes QuantifiedConstraints Tbug program incorrectly rejected typechecker
- 2
updated Sep 07, 2021
Allow user-written Coercible instances in signature files

#20440 · created Sep 29, 2021 by sheaf Coercible Plow Tfeature request backpack constraint solver typechecker
- 0
updated Sep 29, 2021
Assert that we don't try to look up an Id too early (Occurrence is GlobalId, but binding is LocalId)

#20447 · created Sep 30, 2021 by sheaf Plow Ttask hs-boot typechecker
- 0
updated Oct 04, 2021
Record explanations for insolubility of constraints rather than reconstitute the problem after the fact

#20468 · created Oct 03, 2021 by sheaf No skolem info Plow Ttask constraint solver diagnostic quality error messages typechecker
- 5
updated Nov 09, 2021
Coercions are not properly threaded through arrow notation desugaring, resulting in Core Lint errors

#20469 · created Oct 03, 2021 by Alexis King Arrows GADTs Pnormal Tbug core lint typechecker
- 3
updated Oct 22, 2021
Skolems can escape in arrow notation, resulting in Core Lint errors

#20470 · created Oct 03, 2021 by Alexis King Arrows GADTs Pnormal Tbug core lint typechecker
- 2
updated Oct 22, 2021
Add a typing rule for dataToTag#

#20532 · created Oct 20, 2021 by Krzysztof Gogolewski Plow Ttask primops typechecker
- 1
- 1
updated Oct 22, 2021
ApplicativeDo breaks uses of ImplicitParameters

#20630 · created Nov 06, 2021 by Khudyakov ApplicativeDo ImplicitParams Pnormal Tbug typechecker
- 3
updated Nov 16, 2021
decideMonoTyVars should take injectivity into account

#20668 · created Nov 11, 2021 by Richard Eisenberg Pnormal Tbug typechecker
- 0
updated Nov 16, 2021
9.2.1 regression: panic with heap overflow on a file that works fine in 9.0.1

#20683 · created Nov 15, 2021 by JasonGross Phigh Tbug compiler perf typechecker
- 14
updated Nov 30, 2021
Make the design of defaulting explicit

#20686 · created Nov 15, 2021 by Simon Peyton Jones LinearTypes Pnormal PolyKinds Ttask defaulting representation polymorphism typechecker
- 14
updated Nov 30, 2021
Warn when an equality constraint comes into scope without -XMonoLocalBinds

#20737 · created Nov 24, 2021 by Richard Eisenberg Pnormal RankNTypes Ttask TypeFamilies typechecker
- 2
updated Nov 27, 2021

Prev
1
2
3
Next