Issues · Glasgow Haskell Compiler / GHC · GitLab

`coerce`ing a function should be possible without type applications when we can newtype derive the method

#20821 · created Dec 14, 2021 by Sebastian Graf Coercible Tfeature request deriving
- 3
updated Dec 14, 2021
Make coerce-derived dictionaries coercible

#20815 · created Dec 13, 2021 by Icelandjack Coercions Plow Tfeature request deriving
- 4
updated Dec 14, 2021
feature request: deriving for Data.Bifoldable Data.Bifunctor Data.Bitraversable

#20314 · created Aug 31, 2021 by Carter Schonwald Research needed Pnormal Tfeature request core libraries deriving
- 2
updated Sep 07, 2021
Inflexible DerivingVia

#20099 · created Jul 11, 2021 by Jaro Reinders DerivingVia Plow Tfeature request deriving proposal pending
- 3
updated Sep 28, 2021
Odd GND failure/success

#19936 · created Jun 03, 2021 by David Feuer DerivingVia Tquestion deriving info needed roles
- 6
updated Jun 08, 2021
Should Generically (/ Generically1) derive newtype Generic (/ Generic1)?

#19906 · created May 27, 2021 by Icelandjack DerivingVia Plow Tfeature request core libraries deriving info needed
- 3
updated May 30, 2021
DeriveFunctor: Use `contramap' in contravariant position

#19713 · created Apr 16, 2021 by Icelandjack Tfeature request deriving
- 3
updated Apr 19, 2021
[Discussion] Integrating DataTypeable, Functor, Foldable, Traversable, Generic and Lift in the `stock` deriving strategy

#19707 · created Apr 15, 2021 by Hécate Moonlight Plow Tfeature request deriving
- 3
- 7
updated Apr 16, 2021
Don't suggest turning on `DeriveAnyClass` when an instance cannot be derived

#19692 · created Apr 13, 2021 by syd@cs-syd.eu Pnormal Tfeature request deriving
- 2
- 1
updated Apr 15, 2021
(Derived) Ord instances generate terrible code

#19445 · created Feb 26, 2021 by Sebastian Graf 9.6.1 Tbug compiler perf deriving pointer tagging
- 5
updated Apr 06, 2022
Support overriding "No instance" errors using the default deriving strategy

#19418 · created Feb 22, 2021 by infinity0 Tfeature request deriving
- 0
updated Mar 02, 2021
Deriving multiple classes in standalone (or document this limitation)

#18874 · created Oct 22, 2020 by Julien Debon Tfeature request deriving
- 1
- 1
updated Nov 08, 2020
Relax inferred context simplification to allow "exotic" contexts for GeneralizedNewtypeDeriving and DerivingVia instances.

#18219 · created May 22, 2020 by Andrew Pritchard DerivingVia Tfeature request deriving
- 0
updated May 24, 2020
GND generates code that instantiates coerce too much

#18213 · created May 21, 2020 by Ryan Scott QuantifiedConstraints deriving
- 1
- 5
updated Oct 31, 2020
ConstrainedClassMethods can trigger un-actionable redundant constraint warnings together with GND

#18148 · created May 06, 2020 by Koz Ross Pnormal Tbug deriving error messages roles
- 18
updated May 22, 2020
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
Can't derive TYPE rep instances

#17518 · created Nov 26, 2019 by Icelandjack Tbug deriving documentation
- 3
updated Jun 16, 2021
GeneralizedNewtypeDeriving should not require that constructor be in scope

#17328 · created Oct 09, 2019 by Richard Eisenberg deriving typechecker
- 9
updated Jul 03, 2020
Replace useages of con2tag_* in the deriving code with data2tag#

#17241 · created Sep 24, 2019 by Andreas Klebinger 8.10.2 Tfeature request deriving
- 4
updated Feb 09, 2021
-XDerivingVia (and deriving strategies) is under specified in the manual

#17183 · created Sep 12, 2019 by Richard Eisenberg DerivingVia Tbug deriving documentation
- 1
updated Jul 05, 2021

Prev
1
2
3
Next