Merge requests · Glasgow Haskell Compiler / GHC · GitLab

Resolve ambiguous method-bound type variables in vanilla defaults and GND

!13155 · created Aug 17, 2024 by Ryan Scott 9.12.1
ambiguity check deriving
- Closed
- 44
- Approved
updated Sep 25, 2024
Add regression test for #23143

!10617 · created Jun 09, 2023 by Ryan Scott 9.6.3
GHC Contributors' Workshop constraint solver deriving
- Closed
- 3
- Approved
updated Sep 20, 2023
Fix type variable substitution in gen_Newtype_fam_insts

!10372 · created May 02, 2023 by Ryan Scott 9.6.2
deriving
- Closed
- 13
- Approved
updated Aug 07, 2023
Don't suggest `DeriveAnyClass` when instance can't be derived.

!10631 · created Jun 11, 2023 by Phil Hazelden
GHC Contributors' Workshop deriving
- Closed
- 8
- Approved
updated Jun 13, 2023
Skip checking whether constructors are in scope when deriving newtype instances.

!10625 · created Jun 10, 2023 by Victor Cacciari Miraldo
GHC Contributors' Workshop deriving
- Closed
- 11
- Approved
updated Jun 13, 2023
validDerivPred: Reject non-well-formed constraints in IrredPreds

!10159 · created Mar 22, 2023 by Ryan Scott
deriving
- Closed
- 23
- Approved
updated May 23, 2023
DeriveGeneric: look up datacon fixities using getDataConFixityFun

!7404 · created Jan 24, 2022 by Ryan Scott 9.4.1
deriving generics
- Closed
- 6
updated Apr 09, 2023
DeriveFunctor: Check for last type variables using dataConUnivTyVars

!8963 · created Sep 11, 2022 by Ryan Scott 9.4.3
deriving
- Closed
- 8
- Approved
updated Oct 19, 2022
Instantiate field types properly in stock-derived instances

!6976 · created Nov 12, 2021 by Ryan Scott
deriving
- Closed
- 10
- Approved
updated Sep 10, 2022
Fix the free-var test in validDerivPred

!7889 · created Mar 29, 2022 by Ryan Scott
deriving
- Closed
- 8
- Approved
updated Apr 25, 2022
Refactor tcDeriving to generate tyfam insts before any bindings

!7613 · created Feb 22, 2022 by Ryan Scott
TypeFamilies deriving
- Closed
- 8
updated Mar 26, 2022
Fix and simplify DeriveAnyClass's context inference using SubTypePredSpec

!7113 · created Dec 02, 2021 by Ryan Scott
deriving
- Closed
- 55
- Approved
updated Mar 24, 2022
Delete GenericKind_ in favor of GenericKind_DC

!7717 · created Mar 07, 2022 by Ryan Scott 9.4.1
deriving generics
- Closed
- 5
- Approved
updated Mar 08, 2022
deriving: infer DatatypeContexts from data constructors, not type constructor

!6926 · created Nov 06, 2021 by Ryan Scott
deriving
- Closed
- 4
- Approved
updated Nov 15, 2021
Filter out impossible cases for standalone deriving GADTs #16341

!3737 · created Jul 22, 2020 by Brandon Chinn 9.2.1
GADTs MR2-ready for merge deriving
- Closed
- 38
- Approved
updated Sep 18, 2021
Use HsOuterExplicit in instance sigs in deriving-generated code

!4417 · created Nov 06, 2020 by Ryan Scott 9.2.1
deriving
- Closed
- 23
- 1
updated Dec 18, 2020
Introduce and use DerivClauseTys (#18662)

!4041 · created Sep 13, 2020 by Ryan Scott 9.2.1
TemplateHaskell deriving pretty printing
- Closed
- 10
- 1
- Approved
updated Sep 15, 2020
Create di_scoped_tvs for associated data family instances properly

!3107 · created Apr 18, 2020 by Ryan Scott 8.10.2
deriving
- Closed
- 6
updated Jul 16, 2020
Reject nested foralls/contexts in instance types more consistently

!3485 · created Jun 10, 2020 by Ryan Scott 9.0.1
HQ shepherd ScopedTypeVariables deriving documentation visible dependent quantification
- Closed
- 14
- Approved
updated Jul 01, 2020
Revamp the treatment of auxiliary bindings for derived instances

!3536 · created Jun 16, 2020 by Ryan Scott 9.0.1
HQ shepherd deriving
- Closed
- 25
updated Jun 27, 2020