summaryrefslogtreecommitdiff
path: root/testsuite/tests/deriving
Commit message (Expand)AuthorAgeFilesLines
* Add structured error messages for GHC.Rename.UtilsTorsten Schmits2023-05-051-1/+1
* Fix type variable substitution in gen_Newtype_fam_instsRyan Scott2023-05-043-0/+27
* Add structured error messages for GHC.Rename.NamesTorsten Schmits2023-04-301-1/+1
* validDerivPred: Reject exotic constraints in IrredPredsRyan Scott2023-04-179-12/+84
* Handle records in the renamersheaf2023-03-291-1/+1
* Convert diagnostics in GHC.Rename.Module to proper TcRnMessage (#20115)Andrei Borzenkov2023-03-063-6/+6
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-113-5/+19
* Fix testsBodigrim2022-12-081-0/+1
* Make Functor a quantified superclass of Bifunctor.Baldur Blöndal2022-11-303-3/+3
* Use TcRnDiagnostic in GHC.Tc.TyCl.Instance (#20117)Giles Anderson2022-11-095-9/+9
* Add accurate skolem info when quantifyingSimon Peyton Jones2022-11-011-1/+1
* Testsuite: more precise test optionsSylvain Henry2022-10-261-1/+1
* DeriveFunctor: Check for last type variables using dataConUnivTyVarsRyan Scott2022-09-182-0/+25
* Diagnostic codes: acccept test changessheaf2022-09-1376-176/+178
* Print constraints in quotes (#21167)Swann Moreau2022-08-1914-81/+81
* Add test for #21871sheaf2022-07-223-0/+23
* Deprecate TypeInType extensionHaskellMouse2022-06-062-2/+2
* TTG: Rework and improve splicesromes2022-06-011-2/+2
* Fix the free-var test in validDerivPredSimon Peyton Jones2022-04-073-0/+32
* Change GHC.Prim to GHC.Exts in docs and testsKrzysztof Gogolewski2022-04-014-4/+4
* Fix and simplify DeriveAnyClass's context inference using SubTypePredSpecRyan Scott2022-03-243-15/+44
* Revamp derived Eq instance code generation (#17240)nineonine2022-03-204-2/+50
* 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