Issues · Glasgow Haskell Compiler / GHC · GitLab

{-# complete #-} should be able to be at least partially type directed

#14422 · opened Nov 05, 2017 by Edward Kmett 5 Pnormal PatternSynonyms Trac import feature request pattern match warnings typechecker
- 2
- 15
updated Mar 02, 2021
Allow constructors on LHS of (implicit) bidirectional pattern synonym

#12203 · opened Jun 18, 2016 by Edward Z. Yang 3 Plow Trac import feature request typechecker
- 13
updated Mar 02, 2021
TypeFamilies painfully slow

#8095 · opened Jul 27, 2013 by MikeIzbicki 9.4.1 7 Phigh Trac import bug compiler perf typechecker
- 1
- 3
- 94
updated Mar 02, 2021
Deprecate `-Winaccessible-code`

#19428 · opened Feb 23, 2021 by Sebastian Graf pattern match warnings task typechecker
- 3
updated Mar 02, 2021
Infer multiplicity of case expression

#18738 · opened Sep 23, 2020 by Arnaud Spiwack LinearTypes feature request typechecker
- 1
updated Mar 01, 2021
oversized source range in type error message

#19364 · opened Feb 13, 2021 by jwaldmann Pnormal bug error messages typechecker
- 1
updated Mar 01, 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
- 15
updated Mar 01, 2021
conduit-1.3.4 builds with 9.0.1, but not HEAD, due to regression in typechecking sections

#19457 · opened Feb 27, 2021 by Ryan Scott 9.2.1 Phighest bug program incorrectly rejected typechecker
- 2
updated Mar 01, 2021
Add setField to HasField

#16232 · opened Jan 24, 2019 by Adam Gundry 5 OverloadedRecordFields Pnormal Trac import feature request ghc proposal records typechecker
- 5
updated Feb 28, 2021
Surprising lack of generalisation using MonoLocalBinds

#19396 · opened Feb 17, 2021 by Tom Ellis feature request typechecker
- 7
updated Feb 26, 2021
Consider using specificity to disambiguate quantified constraints

#17934 · opened Mar 19, 2020 by Richard Eisenberg QuantifiedConstraints feature request typechecker
- 2
updated Feb 21, 2021
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
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
Spurious untouchable type variable in connection with rank-2 type and constraint family

#13655 · opened May 06, 2017 by Wolfgang Jeltsch 5 Pnormal Trac import bug typechecker
- 13
updated Feb 15, 2021
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
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
Type/data family instances in kind checking

#12088 · opened May 19, 2016 by alexvieth 9.2.1 7 CUSKs Phigh Trac import bug feature request typechecker
- 1
- 55
updated Jan 25, 2021
Error message involving type families points to wrong location

#15621 · opened Sep 08, 2018 by Ryan Scott 9.2.1 5 Pnormal Trac import TypeFamilies bug error messages typechecker
- 11
updated Jan 25, 2021
When a type application cannot be applied to an identifier due to the absence of an explicit type signature, let the error just say so!

#15596 · opened Sep 03, 2018 by kindaro 9.2.1 5 Pnormal Trac import TypeApplications error messages feature request typechecker
- 3
updated Jan 25, 2021
Provide the provenance of unification variables in error messages when possible

#15678 · opened Sep 26, 2018 by Ryan Scott 9.2.1 5 Pnormal Trac import bug error messages typechecker
- 2
updated Jan 25, 2021

Prev
1
2
3
4
5
…
14
Next