summaryrefslogtreecommitdiff
path: root/testsuite/tests/deriving/should_compile/all.T
Commit message (Expand)AuthorAgeFilesLines
* Fix type variable substitution in gen_Newtype_fam_instsRyan Scott2023-05-041-0/+1
* validDerivPred: Reject exotic constraints in IrredPredsRyan Scott2023-04-171-1/+2
* Testsuite: more precise test optionsSylvain Henry2022-10-261-1/+1
* DeriveFunctor: Check for last type variables using dataConUnivTyVarsRyan Scott2022-09-181-0/+1
* Fix and simplify DeriveAnyClass's context inference using SubTypePredSpecRyan Scott2022-03-241-0/+1
* Revamp derived Eq instance code generation (#17240)nineonine2022-03-201-0/+1
* DeriveGeneric: look up datacon fixities using getDataConFixityFunRyan Scott2022-01-251-0/+1
* testsuite: Remove reqlib modifierMatthew Pickering2021-12-221-1/+0
* Enable UnboxedTuples in `genInst`, Fixes #20524CarrieMY2021-11-251-0/+2
* Instantiate field types properly in stock-derived instancesRyan Scott2021-11-151-0/+2
* deriving: infer DatatypeContexts from data constructors, not type constructorRyan Scott2021-11-091-0/+1
* Change CaseAlt and LambdaExpr to FunRhs in deriving Foldable and Traversable ...Artyom Kuznetsov2021-10-261-0/+4
* Use HsOuterExplicit in instance sigs in deriving-generated codeRyan Scott2020-12-181-0/+1
* Add flags for annotating Generic{,1} methods INLINE[1] (#11068)Andrzej Rybczak2020-10-151-0/+1
* Add regression test for #16341Brandon Chinn2020-07-291-0/+1
* Revamp the treatment of auxiliary bindings for derived instancesRyan Scott2020-06-271-0/+1
* Create di_scoped_tvs for associated data family instances properlyRyan Scott2020-04-231-0/+1
* Make DeriveFunctor-generated code require fewer beta reductionsRyan Scott2020-03-111-0/+1
* Refactor TcDeriv to validity-check less in anyclass/via deriving (#13154)Ryan Scott2019-10-281-0/+1
* Use newDFunName for both manual and derived instances (#17339)Ryan Scott2019-10-121-0/+2
* Use addUsedDataCons more judiciously in TcDeriv (#17324)Ryan Scott2019-10-091-0/+1
* Banish reportFloatingViaTvs to the shadow realm (#15831, #16181)Ryan Scott2019-07-261-0/+1
* Some forall-related cleanup in deriving codeRyan Scott2019-05-231-0/+1
* Fix #16518 with some more kind-splitting smartsRyan Scott2019-04-041-0/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-1/+1
* Fix #14579 by defining tyConAppNeedsKindSig, and using itRyan Scott2019-02-051-1/+2
* testsuite: Use makefile_testBen Gamari2019-01-301-3/+2
* Revert "Batch merge"Ben Gamari2019-01-301-2/+3
* Batch mergeBen Gamari2019-01-301-3/+2
* Mention DerivingStrategies in the warning when DAC and GND are both enabledChaitanya Koparkar2019-01-201-0/+1
* Visible kind applicationmynguyen2019-01-031-0/+1
* Fix #15637 by using VTA more in GNDRyan Scott2018-10-011-0/+1
* Suppress -Winaccessible-code in derived codeRyan Scott2018-07-241-0/+1
* Instantiate GND bindings with an explicit type signatureRyan Scott2018-07-051-0/+3
* Introduce DerivingViaRyan Scott2018-06-041-0/+2
* Add tests for #8128 and #8740Ryan Scott2018-06-031-0/+2
* Fix two pernicious bugs in DeriveAnyClassRyan Scott2018-03-251-0/+2
* Sequester deriving-related validity check into cond_stdOKRyan Scott2018-01-311-0/+1
* Fix #14681 and #14682 with precision-aimed parenthesesRyan Scott2018-01-181-0/+1
* Make typeToLHsType produce kind signatures for tycon applicationsRyan Scott2018-01-031-0/+1
* Fix #14578 by checking isCompoundHsType in more placesRyan Scott2017-12-201-0/+1
* Do not quantify over deriving clausesSimon Peyton Jones2017-10-121-0/+1
* Add a missing zonk in TcDerivInfer.simplifyDerivSimon Peyton Jones2017-10-111-0/+1
* Don't suppress unimplemented type family warnings with DeriveAnyClassRyan Scott2017-08-121-0/+1
* Get the roles right for newtype instancesSimon Peyton Jones2017-08-021-0/+1
* Fix binder visiblity for default methodsSimon Peyton Jones2017-07-261-0/+1
* Suppress unused warnings for selectors for some derived classesRyan Scott2017-07-111-0/+1
* Look through type synonyms in existential contexts when deriving FunctorRyan Scott2017-06-181-0/+1
* Add regression test for #13758Ryan Scott2017-05-261-1/+2
* Deriving for phantom and empty typesDavid Feuer2017-03-301-0/+5
View Lorry Controller Status