Issues · Glasgow Haskell Compiler / GHC · GitLab

Trouble specializing generic functions with extra arguments or constraints

#21131 · created Feb 24, 2022 by David Feuer Tbug generics runtime perf specialisation static argument transformation
- 4
updated Mar 01, 2022
Generics: Documentation of `:.:` + formulate `Rec1` in terms of `:.:` and `Par1`?

#20881 · created Dec 28, 2021 by Sebastian Graf Plow Ttask documentation generics
- 2
updated Dec 29, 2021
Change kind specificities for generics

#20497 · created Oct 10, 2021 by David Feuer Plow Tfeature request core libraries generics
- +7
- 6
updated Feb 10, 2022
Type.Reflection code takes long to compile (48s on 8.10, 12s on 9.3)

#20106 · created Jul 12, 2021 by Icelandjack Phigh Tbug compiler perf generics info needed pattern match warnings
- 15
updated Nov 30, 2021
DeriveGeneric gets a wrong infix constructor associativity when type is declared in a different module

#18101 · created Apr 26, 2020 by Xia Li-yao Pnormal Tbug deriving generics incorrect runtime result
- 0
updated May 10, 2020
Generic1 deriving should use more coercions

#15969 · created Nov 29, 2018 by David Feuer 5 Pnormal Tbug Trac import deriving generics runtime perf
- 4
updated Dec 29, 2021
Derive Generic1 instances for types of kind (k -> *) -> * that include applications of the parameter

#15310 · created Jun 25, 2018 by cedricshock 3 Plow Tfeature request Trac import generics typechecker
- 3
updated Jul 07, 2019
Prohibit user-defined Generic and Generic1 instances

#13065 · created Jan 04, 2017 by David Feuer 5 Pnormal Tfeature request Trac import generics
- 13
updated Jan 23, 2020
Generic for existential types

#10514 · created Jun 12, 2015 by andreas.abel 5 Pnormal Tfeature request Trac import core libraries generics
- 17
updated Jan 24, 2021
Deriving Generic of a big type takes a long time and lots of space

#5642 · created Nov 17, 2011 by basvandijk ⊥ 5 Phigh Tbug Trac import compiler perf deriving generics
- 60
updated Apr 25, 2022