summaryrefslogtreecommitdiff
path: root/testsuite/tests/deriving
Commit message (Expand)AuthorAgeFilesLines
* Export (~) from Data.Type.Equality (#18862)wip/eqtycon-rnVladislav Zavialov2022-03-151-0/+3
* driver: Properly add an edge between a .hs and its hs-boot fileMatthew Pickering2022-03-012-6/+0
* Kill derived constraintsRichard Eisenberg2022-02-231-0/+2
* Forbid standalone instances for built-in classessheaf2022-02-227-0/+52
* Make implication tidying agree with Note [Tidying multiple names at once]Matthew Pickering2022-02-051-3/+3
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-12/+8
* DeriveGeneric: look up datacon fixities using getDataConFixityFunRyan Scott2022-01-252-0/+28
* Multiple Home UnitsMatthew Pickering2021-12-281-0/+1
* testsuite: Remove reqlib modifierMatthew Pickering2021-12-227-101/+0
* Don't use implicit lifting when deriving LiftMatthew Pickering2021-11-251-2/+6
* Enable UnboxedTuples in `genInst`, Fixes #20524CarrieMY2021-11-255-11/+2
* Instantiate field types properly in stock-derived instancesRyan Scott2021-11-153-0/+55
* deriving: infer DatatypeContexts from data constructors, not type constructorRyan Scott2021-11-093-0/+16
* Change CaseAlt and LambdaExpr to FunRhs in deriving Foldable and Traversable ...Artyom Kuznetsov2021-10-263-0/+56
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-172-3/+3
* Eradicate TcRnUnknownMessage from GHC.Tc.DerivAlfredo Di Napoli2021-10-0514-16/+32
* Add `-dsuppress-core-sizes` flag (#20342)Sylvain Henry2021-09-281-0/+4
* deriving: Always use module prefix in dataTypeNameMatthew Pickering2021-09-186-50/+75
* Only dump Core stats when requested to do so (#20342)Sylvain Henry2021-09-081-4/+0
* Convert diagnostics in GHC.Tc.Validity to proper TcRnMessage.hainq2021-09-011-1/+1
* Correct warning for deprecated and unrecognised flagsAlfredo Di Napoli2021-04-055-6/+6
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-5/+6
* GHC Exactprint main commitAlan Zimmerman2021-03-202-19/+19
* 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
View Lorry Controller Status