summaryrefslogtreecommitdiff
path: root/testsuite/tests/deriving/should_compile
Commit message (Expand)AuthorAgeFilesLines
* Make DeriveFunctor-generated code require fewer beta reductionswip/T17880Ryan Scott2020-03-102-0/+10
* Print Core type applications with no whitespace after @ (#17643)Ryan Scott2020-01-081-4/+4
* Refactor TcDeriv to validity-check less in anyclass/via deriving (#13154)Ryan Scott2019-10-282-0/+63
* Use newDFunName for both manual and derived instances (#17339)Ryan Scott2019-10-123-0/+42
* Use addUsedDataCons more judiciously in TcDeriv (#17324)Ryan Scott2019-10-093-0/+22
* base: Move Ix typeclass to GHC.IxBen Gamari2019-09-251-17/+17
* Add -Wderiving-defaults (#15839)Kari Pahula2019-09-251-3/+4
* Banish reportFloatingViaTvs to the shadow realm (#15831, #16181)Ryan Scott2019-07-262-0/+34
* testsuite: Set -dinitial-unique when reversing uniquesBen Gamari2019-07-181-1/+1
* Produce all DerivInfo in tcTyAndClassDeclsVladislav Zavialov2019-07-042-47/+47
* Some forall-related cleanup in deriving codeRyan Scott2019-05-232-0/+15
* TH: make `Lift` and `TExp` levity-polymorphicAlec Theriault2019-04-182-14/+7
* Fix #16518 with some more kind-splitting smartsRyan Scott2019-04-042-0/+37
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-156-6/+6
* Add `liftedTyped` to `Lift` classAlec Theriault2019-02-131-0/+7
* Fix #14579 by defining tyConAppNeedsKindSig, and using itRyan Scott2019-02-054-21/+72
* 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-203-0/+13
* Visible kind applicationmynguyen2019-01-032-0/+23
* Enable -Wcompat=error in the testsuiteVladislav Zavialov2018-10-1511-18/+36
* Fix #15637 by using VTA more in GNDRyan Scott2018-10-013-10/+26
* Suppress -Winaccessible-code in derived codeRyan Scott2018-07-244-32/+21
* Mark AutoDeriveTypeable as deprecatedKrzysztof Gogolewski2018-07-063-3/+1
* Instantiate GND bindings with an explicit type signatureRyan Scott2018-07-055-55/+113
* Fix #15307 by making nlHsFunTy parenthesize moreRyan Scott2018-07-051-4/+5
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-147-8/+10
* Introduce DerivingViaRyan Scott2018-06-043-0/+502
* Add tests for #8128 and #8740Ryan Scott2018-06-035-0/+60
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-4/+4
* Fix #14875 by introducing PprPrec, and using itRyan Scott2018-05-131-2/+2
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-1/+6
* Fix two pernicious bugs in DeriveAnyClassRyan Scott2018-03-253-0/+47
* Sequester deriving-related validity check into cond_stdOKRyan Scott2018-01-312-0/+15
* Fix #14692 by correcting an off-by-one error in TcGenDerivRyan Scott2018-01-211-1/+1
* Fix #14681 and #14682 with precision-aimed parenthesesRyan Scott2018-01-183-0/+205
* Make typeToLHsType produce kind signatures for tycon applicationsRyan Scott2018-01-033-7/+27
* Fix #14578 by checking isCompoundHsType in more placesRyan Scott2017-12-203-0/+131
* Implement the EmptyDataDeriving proposalRyan Scott2017-11-021-9/+241
* Do not quantify over deriving clausesSimon Peyton Jones2017-10-122-0/+11
* Add a missing zonk in TcDerivInfer.simplifyDerivSimon Peyton Jones2017-10-112-0/+18
* TypofixesGabor Greif2017-09-271-1/+1
* Don't suppress unimplemented type family warnings with DeriveAnyClassRyan Scott2017-08-123-0/+40
* Get the roles right for newtype instancesSimon Peyton Jones2017-08-022-0/+14
* Fix binder visiblity for default methodsSimon Peyton Jones2017-07-262-0/+44
* Suppress unused warnings for selectors for some derived classesRyan Scott2017-07-113-0/+17
* Look through type synonyms in existential contexts when deriving FunctorRyan Scott2017-06-182-0/+14
* Add regression test for #13758Ryan Scott2017-05-262-1/+59
* Don't derive showListDavid Feuer2017-04-011-1/+0
View Lorry Controller Status