Issues · Glasgow Haskell Compiler / GHC · GitLab

Allow named wildcards in constraints

#19051 · opened Dec 10, 2020 by sheaf partial type sigs typechecker
- 8
updated Dec 23, 2020
Regression: HEAD requires FlexibleContexts because of inferred, redundant constraint

#19044 · opened Dec 09, 2020 by Ryan Scott 9.2.1 OverlappingInstances Phighest bug program incorrectly accepted typechecker
- CLOSED
- 3
- 4
updated Dec 19, 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
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
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
Quick Look does not zonk return types

#18987 · opened Nov 24, 2020 by Richard Eisenberg ImpredicativeTypes task typechecker
- CLOSED
- 2
updated Dec 21, 2020
Investigate touchable meta-variables in Givens

#18929 · opened Nov 07, 2020 by Richard Eisenberg constraint solver partial type sigs typechecker
- CLOSED
- 9
updated Jan 02, 2021
ghc-8.8 does not infer kind

#18920 · opened Nov 02, 2020 by jwaldmann 8.10.1 bug program incorrectly rejected typechecker
- CLOSED
- 2
- 5
updated Nov 09, 2020
Order-dependent type inference due to Note [Instance and Given overlap]

#18910 · opened Oct 30, 2020 by Richard Eisenberg Pnormal TypeFamilies bug constraint solver typechecker
- CLOSED
- 3
- 5
updated Jan 06, 2021
Kind inference for newtypes in GADT syntax is deeply broken

#18891 · opened Oct 26, 2020 by Richard Eisenberg 9.2.1 GADTs Pnormal PolyKinds StandaloneKindSignatures TypeFamilies TypeInType UnliftedNewtypes bug levity polymorphism typechecker
- CLOSED
- 2
- 3
updated Dec 08, 2020
Occurs-check-y Givens rewrite once, but not twice

#18875 · opened Oct 22, 2020 by Richard Eisenberg TypeFamilies constraint solver typechecker
- CLOSED
- 3
- 3
updated Dec 04, 2020
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
Visibility mismatch between data declaration and kind signature, accepted!

#18863 · opened Oct 19, 2020 by Icelandjack 9.2.1 needs triage typechecker
- CLOSED
- 2
- 6
updated Oct 31, 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
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
Typecheck record update via desugaring

#18802 · opened Oct 05, 2020 by Simon Peyton Jones records task typechecker
- 2
updated Oct 05, 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
Tighten up the treatment of loose types in the solver

#18753 · opened Sep 26, 2020 by Richard Eisenberg TypeInType constraint solver typechecker
- CLOSED
- 3
- 1
updated Sep 30, 2020
Infer multiplicity of let expression

#18739 · opened Sep 23, 2020 by Arnaud Spiwack LinearTypes feature request typechecker
- 6
updated Sep 28, 2020
Infer multiplicity of case expression

#18738 · opened Sep 23, 2020 by Arnaud Spiwack LinearTypes feature request typechecker
- 1
updated Mar 01, 2021

Prev
1
2
3
4
5
6
…
63
Next