Issues · Glasgow Haskell Compiler / GHC · GitLab

flatten_args wandered into deeper water than usual

#21583 · created May 16, 2022 by sfultong Phigh Tbug typechecker
- 6
updated May 18, 2022
Tidy up withDict and friends

#21568 · created May 13, 2022 by Simon Peyton Jones 9.4.1 Coercions Pnormal Ttask constraint solver typechecker
- 2
updated May 17, 2022
Regression in resolving quantified constraint from GHC 8.10.7 to GHC 9.0.2/9.2.2

#21550 · created May 11, 2022 by Identical Snowflake 9.2.3 Pnormal QuantifiedConstraints Tbug typechecker
- 1
updated May 17, 2022
Investigate whether we can support simplified and deep subsumption

#21548 · created May 10, 2022 by Matthew Pickering 9.2.3 Phigh Ttask typechecker
- 1
- 6
updated May 17, 2022
GHC 9.4 panic on a representation-polymorphic newtype instance

#21544 · created May 10, 2022 by sheaf 9.4.1 Phigh Tbug TypeFamilies UnliftedNewtypes compiler crash representation polymorphism typechecker
- 14
updated May 17, 2022
GHC 9.4 infinite loop in typechecker

#21530 · created May 08, 2022 by Jaro Reinders 9.4.1 Phigh Tbug backport needed:9.4 compile-time loop typechecker
- 5
updated May 10, 2022
Constraint solver regression in 9.2

#21515 · created May 06, 2022 by Andres Löh 9.2.3 Phigh Tbug constraint solver typechecker
- 1
- 1
- 3
updated May 13, 2022
The hint to add missing context to the type signature is not produced by GHC when using non-trivial constraint

#21502 · created May 04, 2022 by Sergey Vinokurov Pnormal Ttask error messages typechecker
- 4
updated May 06, 2022
Confusion around visible type application in pattern synonym pattern

#21501 · created May 04, 2022 by Richard Eisenberg 9.6.1 PatternSynonyms Tbug TypeApplications Typeable typechecker
- 1
updated May 06, 2022
Regression in interaction between type families and equality constraints

#21473 · created May 02, 2022 by KingoftheHomeless 9.2.3 Phigh Tbug backport needed:9.2 backport needed:9.4 program incorrectly rejected typechecker
- 2
updated May 17, 2022
Confusing GADTSyntax newtype error with invisible kinds

#21447 · created Apr 28, 2022 by sheaf 9.6.1 GADTs Pnormal Tbug diagnostic quality error messages newcomer typechecker
- 1
updated May 03, 2022
Should we use CheckTyEqResult for equalities involving concrete metavariables?

#21430 · created Apr 26, 2022 by sheaf Plow Ttask defaulting representation polymorphism typechecker
- 0
updated Apr 26, 2022
checkMissingFields could use wc_errors

#21413 · created Apr 21, 2022 by sheaf Plow Ttask error messages records typechecker
- 1
updated Apr 21, 2022
simple_app fails to beta-reduce through casts

#21377 · created Apr 11, 2022 by sheaf LinearTypes Phigh Tbug UnliftedDatatypes UnliftedNewtypes core lint representation polymorphism typechecker
- 4
updated Apr 21, 2022
RULE quantification over equalities is fragile

#21366 · created Apr 08, 2022 by sheaf Pnormal Tbug rules typechecker
- 2
updated Apr 12, 2022
GHC no longer instantiates representation-polymorphic newtype constructors

#21346 · created Apr 05, 2022 by sheaf Pnormal Tbug UnliftedNewtypes representation polymorphism typechecker
- 2
- 10
updated May 13, 2022
Add origins to meta-variables

#21330 · created Apr 01, 2022 by sheaf 9.6.1 Pnormal Ttask error messages typechecker
- 1
updated Apr 07, 2022
Order dependence in type checking with the monomorphism restriction

#21309 · created Mar 28, 2022 by Richard Eisenberg MonomorphismRestriction Pnormal Tbug program incorrectly rejected typechecker
- 2
updated Apr 25, 2022
Type-changing record update ignores type families

#21289 · created Mar 24, 2022 by Richard Eisenberg Pnormal Tbug TypeFamilies records typechecker
- 1
- 3
updated May 17, 2022
Add a note about non-deferrable constraints

#21237 · created Mar 16, 2022 by sheaf Plow Ttask constraint solver documentation typechecker
- 0
updated Mar 16, 2022

Prev
1
2
3
4
5
…
17
Next