summaryrefslogtreecommitdiff
path: root/testsuite/tests/deriving/should_compile
Commit message (Expand)AuthorAgeFilesLines
* Enhance Data instance generationSylvain Henry2021-01-221-1/+1
* When deriving Eq always use tag based comparisons for nullary constructorsAndreas Klebinger2021-01-221-2/+0
* Use HsOuterExplicit in instance sigs in deriving-generated codeRyan Scott2020-12-183-10/+26
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-151-2/+2
* Implement BoxedRep proposalAndrew Martin2020-12-141-2/+2
* Optimise nullary type constructor usagewip/tyconapp-optsBen Gamari2020-12-141-4/+3
* Revert "Optimise nullary type constructor usage"Ben Gamari2020-12-141-3/+4
* Optimise nullary type constructor usageBen Gamari2020-12-141-4/+3
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-082-4/+5
* Add flags for annotating Generic{,1} methods INLINE[1] (#11068)Andrzej Rybczak2020-10-153-0/+263
* Add -Wnoncanonical-{monad,monoid}-instances to standardWarningsFumiaki Kinoshita2020-10-141-2/+1
* Add regression test for #16341Brandon Chinn2020-07-292-0/+32
* Use a newtype `Code` for the return type of typed quotations (Proposal #195)Matthew Pickering2020-07-211-1/+3
* Reject nested foralls/contexts in instance types more consistentlyRyan Scott2020-06-302-13/+13
* Use NHsCoreTy to embed types into GND-generated codeRyan Scott2020-06-282-45/+34
* Revamp the treatment of auxiliary bindings for derived instancesRyan Scott2020-06-274-51/+72
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-2/+2
* Revert "Specify kind variables for inferred kinds in base."Ben Gamari2020-05-251-11/+10
* Specify kind variables for inferred kinds in base.Baldur Blöndal2020-05-081-10/+11
* Create di_scoped_tvs for associated data family instances properlyRyan Scott2020-04-232-0/+42
* Handle promoted data constructors in typeToLHsType correctlyRyan Scott2020-04-082-21/+21
* Modules: type-checker (#13009)Sylvain Henry2020-04-073-3/+3
* Make DeriveFunctor-generated code require fewer beta reductionsRyan Scott2020-03-112-0/+10
* Use InstanceSigs in GND/DerivingVia-generated code (#17899)Ryan Scott2020-03-092-46/+57
* 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
View Lorry Controller Status