Issues · Glasgow Haskell Compiler / GHC · GitLab

More of Note [Let-bound skolems]

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

#16982 · created Jul 25, 2019 by Richard Eisenberg Pnormal Ttask typechecker
- 3
updated Aug 01, 2019
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
- 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
- 10
updated Jul 14, 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
- 5
updated Feb 16, 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
- 3
updated Dec 13, 2020
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
updated May 18, 2020
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
- 0
updated Oct 05, 2020
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 Ttask compiler perf constraint solver typechecker
- 6
updated Mar 29, 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
- 1
updated Jul 22, 2021
Why check for -fdefer-type-errors in metaTyVarUpdateOK?

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

#18704 · created Sep 17, 2020 by rybochodonezzar Pnormal Tbug typechecker
- 1
- 3
updated Sep 30, 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 9.2.1 Ttask typechecker
- 1
- 13
updated Mar 28, 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
- 1
updated Jun 18, 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.2.1 No skolem info Pnormal Tbug compiler crash typechecker
- 1
updated Jun 30, 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 needs triage typechecker
- 2
updated Mar 08, 2021
The GHCi debugger loses type constraints

#19559 · created 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 · 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
- 3
updated Apr 09, 2021
GHC does not rewrite in FunTy

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

#19682 · created Apr 10, 2021 by Andres Löh 9.2.1 Phigh Tbug backport needed:9.2 constraint solver typechecker
- 2
- 5
updated Jun 08, 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
- 0
updated May 11, 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
- 2
updated Jun 17, 2021
Degradation in error message clarity for ` GHC.TypeNats.<=?`

#20009 · created Jun 17, 2021 by Christiaan Baaij Phigh Tbug constraint solver error messages type literals typechecker
- 1
- 5
updated Jun 24, 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
- 1
updated Jun 28, 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
Representation-polymorphic backpack drops a type argument in a variant of T13955

#20133 · created Jul 19, 2021 by sheaf Tbug backpack program incorrectly rejected representation polymorphism typechecker
- 0
updated Jul 19, 2021
Unify wastes effort on casts

#20146 · created Jul 22, 2021 by Simon Peyton Jones Coercions Plow Tquestion typechecker
- 1
updated Jul 23, 2021

Prev
1
2
3
Next