Issues · Glasgow Haskell Compiler / GHC · GitLab

Relax inferred context simplification to allow "exotic" contexts for GeneralizedNewtypeDeriving and DerivingVia instances.

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

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

#18148 · opened May 06, 2020 by Koz Ross Pnormal bug 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 · opened Apr 26, 2020 by Xia Li-yao Pnormal bug deriving generics incorrect runtime result
- 0
updated May 10, 2020
GHC Internal error when using deriving via on a data instance.

#18055 · opened Apr 14, 2020 by Ometita Radu 8.10.2 DerivingVia Phigh backport needed:8.10 bug deriving
- 2
- 11
updated Jun 04, 2020
Can't derive TYPE rep instances

#17518 · opened Nov 26, 2019 by Icelandjack bug deriving documentation
- 3
updated Nov 28, 2019
GeneralizedNewtypeDeriving should not require that constructor be in scope

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

#17241 · opened Sep 24, 2019 by Andreas Klebinger 8.10.2 deriving feature request
- 3
updated Jan 21, 2020
-XDerivingVia (and deriving strategies) is under specified in the manual

#17183 · opened Sep 12, 2019 by Richard Eisenberg DerivingVia bug deriving documentation
- 0
updated Sep 12, 2019
Stock deriving improvements

#17037 · opened Aug 07, 2019 by Sophie Taylor Pnormal deriving feature request rules runtime perf
- 0
updated Jan 23, 2020
GHC accepts DerivingVia-generated instances that violate functional dependencies

#17013 · opened Jul 31, 2019 by Alexis King FunctionalDependencies Pnormal deriving
- 4
updated Aug 01, 2019
Generic1 deriving should use more coercions

#15969 · opened Nov 29, 2018 by David Feuer Pnormal Trac import bug deriving generics runtime perf 5
- 4
updated Jan 23, 2020
Standard deriving should be less conservative when `UndecidableInstances` is enabled

#15868 · opened Nov 07, 2018 by edsko@edsko.net Pnormal Trac import deriving feature request 5
- 6
updated Jul 22, 2019
Add (or document if already exist) ability to derive custom typeclasses via source plugins

#15650 · opened Sep 17, 2018 by Dmitrii Kovanikov 8.6.1 Pnormal Trac import deriving feature request plugins 5
- 1
- 10
updated Jul 19, 2019
DerivingVia (and perhaps even GND) works badly with DeriveGeneric

#15434 · opened Jul 24, 2018 by Hiromi Ishii 8.12.1 Pnormal Trac import bug deriving 5
- 6
updated Jan 23, 2020
GHC determine illegal kind for standalone deriving with Deriving via

#15376 · opened Jul 14, 2018 by mizunashi_mana 8.12.1 Pnormal Trac import bug deriving 5
- 5
updated Jan 23, 2020
Better Interaction Between Specialization and GND

#15151 · opened May 14, 2018 by Andrew Martin Research needed Pnormal Trac import deriving feature request 5
- 4
updated Jul 07, 2019
Overzealous free-floating kind check causes deriving clause to be rejected

#14331 · opened Oct 07, 2017 by Ryan Scott Pnormal Trac import bug deriving typechecker 5
- 68
updated Jan 23, 2020
Implement the "Derive Lift instances for data types in template-haskell" proposal

#14030 · opened Jul 25, 2017 by Ryan Scott Pnormal TemplateHaskell Trac import deriving task 5
- 10
updated Jan 23, 2020
Allow deriving multiparameter type classes with representationally equal arguments

#13957 · opened Jul 11, 2017 by Icelandjack Pnormal Trac import deriving feature request 5
- 4
updated Jul 07, 2019

Prev
1
2
3
Next