summaryrefslogtreecommitdiff
path: root/testsuite/tests/deriving
Commit message (Expand)AuthorAgeFilesLines
* Use GHC2021 as default languageJoachim Breitner2021-03-1052-105/+134
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-072-4/+4
* Remove some redundant validity checks.Richard Eisenberg2021-01-273-3/+3
* 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-152-4/+4
* Implement BoxedRep proposalAndrew Martin2020-12-142-4/+4
* 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-304-15/+15
* Use NHsCoreTy to embed types into GND-generated codeRyan Scott2020-06-284-49/+37
* Revamp the treatment of auxiliary bindings for derived instancesRyan Scott2020-06-274-51/+72
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-2/+2
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-054-24/+31
* Rename the singleton tuple GHC.Tuple.Unit to GHC.Tuple.SoloTom Ellis2020-06-011-1/+1
* 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
* Make isTauTy detect higher-rank contextsRyan Scott2020-05-063-0/+31
* Create di_scoped_tvs for associated data family instances properlyRyan Scott2020-04-232-0/+42
* Handle promoted data constructors in typeToLHsType correctlyRyan Scott2020-04-083-22/+22
* 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-095-88/+75
* Print Core type applications with no whitespace after @ (#17643)Ryan Scott2020-01-081-4/+4
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-041-1/+1
* Fix typos, using Wikipedia list of common typosBrian Wignall2019-11-281-2/+2
* Strip parentheses in expressions contexts in error messagesVladislav Zavialov2019-11-191-1/+1
* Fix #17405 by not checking imported equationsRichard Eisenberg2019-11-101-2/+3
* Refactor TcDeriv to validity-check less in anyclass/via deriving (#13154)Ryan Scott2019-10-286-1/+123
* 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-2613-19/+206
* testsuite: Set -dinitial-unique when reversing uniquesBen Gamari2019-07-181-1/+1
* Don't typecheck too much (or too little) in DerivingVia (#16923)Ryan Scott2019-07-113-0/+11
* 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 Wiki URLs to point to GitLabTakenobu Tani2019-03-251-1/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-1510-10/+10
* Add `liftedTyped` to `Lift` classAlec Theriault2019-02-131-0/+7
View Lorry Controller Status