Issues · Glasgow Haskell Compiler / GHC · GitLab

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
GHC calls an unambiguous record update ambiguous

#21443 · created Apr 27, 2022 by Richard Eisenberg Pnormal Tbug program incorrectly rejected records
- 1
updated May 06, 2022
Type synonym with forall causes point-free code to not be equivalent

#21376 · created Apr 11, 2022 by pbrisbin Tbug program incorrectly accepted program incorrectly rejected
- 7
updated Apr 12, 2022
Gratuitous -Wincomplete-record-updates warning in do-notation

#21360 · created Apr 07, 2022 by Jakob Brünker Pnormal Tbug pattern match warnings program incorrectly rejected
- 0
updated Apr 12, 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
Quantified constraint should be accepted in RHS of type family equation

#21210 · created Mar 09, 2022 by Richard Eisenberg Pnormal QuantifiedConstraints Tbug TypeFamilies program incorrectly rejected typechecker
- 1
updated Mar 15, 2022
GHC 9.2.1 typechecking regression with RankNTypes, TemplateHaskell, and compound expressions

#21077 · created Feb 14, 2022 by Ryan Scott Phighest RankNTypes Tbug TemplateHaskell program incorrectly rejected typechecker
- 1
- 1
updated Mar 26, 2022
Inconsistency between SAKs and inference

#20926 · created Jan 10, 2022 by Simon Peyton Jones Tbug program incorrectly rejected
- 0
updated Jan 11, 2022
Take a Quick Look at lists

#20805 · created Dec 09, 2021 by Richard Eisenberg ImpredicativeTypes Pnormal Tfeature request program incorrectly rejected typechecker
- 2
updated Dec 22, 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
Should we allow a newtype with a representation-polymorphic field with NoFieldSelectors?

#20113 · created Jul 14, 2021 by sheaf Plow Tfeature request UnliftedNewtypes program incorrectly rejected records representation polymorphism
- 7
updated Apr 07, 2022
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
Core Lint error (From-kind of Cast differs from kind of enclosed type) with TH-generated data type

#19743 · created Apr 25, 2021 by Ryan Scott Tbug TemplateHaskell core lint program incorrectly rejected
- 0
updated Apr 25, 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
Unbound record/field names in Template Haskell Quotes

#19312 · created Feb 03, 2021 by Adam Gundry Pnormal Tbug TemplateHaskell program incorrectly rejected records
- 4
updated Apr 07, 2021
Core lint error (with flags: -O2 -fobject-code -fstatic-argument-transformation -dcore-lint)

#19285 · created Jan 30, 2021 by Icelandjack Tbug compiler crash core lint program incorrectly rejected static argument transformation
- 4
updated May 24, 2022
Types with different forall placements don't unify with QL ImpredicativeTypes

#18759 · created Sep 28, 2020 by Andrzej Rybczak FunctionalDependencies ImpredicativeTypes Pnormal Tbug program incorrectly rejected records
- 53
updated Jan 13, 2022
RebindableSyntax cannot defer-out-of-scope-variables

#18636 · created Sep 01, 2020 by Richard Eisenberg Pnormal RebindableSyntax Tbug deferred type errors program incorrectly rejected
- 1
- 0
updated Feb 16, 2021
Untouchable variable in unused let binding

#18531 · created Aug 04, 2020 by Matt Noonan GADTs Pnormal Tbug error messages program incorrectly rejected
- 4
updated Sep 30, 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