Issues · Glasgow Haskell Compiler / GHC · GitLab

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 27, 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
Warn when an equality constraint comes into scope without -XMonoLocalBinds

#20737 · created Nov 24, 2021 by Richard Eisenberg Pnormal RankNTypes Ttask TypeFamilies typechecker
- 2
updated Nov 27, 2021
Regression in superclass checking of instances

#20666 · created Nov 11, 2021 by Xia Li-yao 9.2.4 Phighest Tbug TypeFamilies backport needed:9.2
- 1
- 1
- 18
updated May 25, 2022
Improve consistency check for type families

#20479 · created Oct 05, 2021 by Krzysztof Gogolewski Plow Ttask TypeFamilies
- 0
updated Oct 05, 2021
Coercion prevents type family equation from applying

#20172 · created Jul 27, 2021 by Richard Eisenberg TypeFamilies TypeInType
- 0
updated Jul 27, 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
No orphan warning for data instances

#19773 · created Apr 30, 2021 by Oleg Grenrus Pnormal Tbug TypeFamilies error messages newcomer program incorrectly accepted
- 4
updated May 04, 2021
Performance of type family consistency checks

#19703 · created Apr 14, 2021 by Pepe Iborra Pnormal Tbug TypeFamilies compiler perf
- 1
- 7
updated Feb 04, 2022
Implement type family reduction via term-level functions

#19634 · created Apr 02, 2021 by Rinat Striungis Tfeature request TypeFamilies typechecker
- 1
- 2
updated Feb 23, 2022
Improvement for closed type families based on equation apartness

#19568 · created Mar 20, 2021 by Alexis King Plow Tfeature request TypeFamilies injective type families
- 5
updated Apr 08, 2021
Type equality constraints can prevent sharing with GHC versions above 7.1

#19479 · created Mar 02, 2021 by Philipp Tfeature request TypeFamilies runtime perf
- 5
updated Apr 06, 2021
type family creates a type synonym, which should not be created

#19277 · created Jan 29, 2021 by Sorokin-Anton Pnormal Tbug TypeFamilies
- 2
updated Jan 29, 2021
Recursive type families optimisation

#19238 · created Jan 19, 2021 by Sylvain Henry Coercions Tfeature request TypeFamilies compiler perf
- 1
updated Oct 06, 2021
Validity checker should reject polytypes passed to type functions

#18762 · created Sep 29, 2020 by Richard Eisenberg ImpredicativeTypes Pnormal Tbug TypeFamilies program incorrectly accepted
- 9
updated Oct 17, 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
reifyInstances doesn't work with closed type families

#18153 · created May 06, 2020 by Ellie Hermaszewska Pnormal Tbug TemplateHaskell TypeFamilies
- 0
updated May 09, 2020
8.10: Overlapping instances claimed where there are none (or crash in 8.8)

#18129 · created May 02, 2020 by Serge Kosyrev GADTs OverlappingInstances Pnormal Tbug TypeFamilies UndecidableSuperClasses UndecideableInstances
- 1
- 3
updated Jul 01, 2020
Unused type variable error misidentifies the name of the type variable

#17838 · created Feb 15, 2020 by Ryan Scott PolyKinds Tbug TypeFamilies error messages
- 5
updated Mar 31, 2020
QuantifiedConstraints don't work with equality constraints on type families

#17802 · created Feb 07, 2020 by Sebastian Graf Pnormal QuantifiedConstraints Tbug TypeFamilies
- 6
updated Feb 20, 2020

Prev
1
2
3
Next