summaryrefslogtreecommitdiff
path: root/testsuite/tests/deriving/should_fail
Commit message (Expand)AuthorAgeFilesLines
* validDerivPred: Reject exotic constraints in IrredPredsRyan Scott2023-04-175-0/+55
* 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-112-2/+8
* Add accurate skolem info when quantifyingSimon Peyton Jones2022-11-011-1/+1
* Diagnostic codes: acccept test changessheaf2022-09-1373-168/+170
* Print constraints in quotes (#21167)Swann Moreau2022-08-1913-72/+72
* Add test for #21871sheaf2022-07-223-0/+23
* 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-011-1/+1
* Revamp derived Eq instance code generation (#17240)nineonine2022-03-201-2/+2
* 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
* Multiple Home UnitsMatthew Pickering2021-12-281-0/+1
* Enable UnboxedTuples in `genInst`, Fixes #20524CarrieMY2021-11-254-24/+0
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-172-3/+3
* Eradicate TcRnUnknownMessage from GHC.Tc.DerivAlfredo Di Napoli2021-10-0513-15/+30
* Convert diagnostics in GHC.Tc.Validity to proper TcRnMessage.hainq2021-09-011-1/+1
* Correct warning for deprecated and unrecognised flagsAlfredo Di Napoli2021-04-051-1/+1
* Use GHC2021 as default languageJoachim Breitner2021-03-1040-98/+118
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-2/+2
* Remove some redundant validity checks.Richard Eisenberg2021-01-273-3/+3
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-151-2/+2
* Implement BoxedRep proposalAndrew Martin2020-12-141-2/+2
* Reject nested foralls/contexts in instance types more consistentlyRyan Scott2020-06-302-2/+2
* Use NHsCoreTy to embed types into GND-generated codeRyan Scott2020-06-282-4/+3
* 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
* Make isTauTy detect higher-rank contextsRyan Scott2020-05-063-0/+31
* Handle promoted data constructors in typeToLHsType correctlyRyan Scott2020-04-081-1/+1
* Use InstanceSigs in GND/DerivingVia-generated code (#17899)Ryan Scott2020-03-093-42/+18
* 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-284-1/+60
* Banish reportFloatingViaTvs to the shadow realm (#15831, #16181)Ryan Scott2019-07-2611-19/+172
* Don't typecheck too much (or too little) in DerivingVia (#16923)Ryan Scott2019-07-113-0/+11
* Update Wiki URLs to point to GitLabTakenobu Tani2019-03-251-1/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-153-3/+3
* Fix #14579 by defining tyConAppNeedsKindSig, and using itRyan Scott2019-02-051-14/+7
* 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
* Fix #15637 by using VTA more in GNDRyan Scott2018-10-012-4/+6
* More refactoring in TcValiditySimon Peyton Jones2018-07-102-5/+3
* Instantiate GND bindings with an explicit type signatureRyan Scott2018-07-052-12/+19
* Add "quantified constraint" context in error message, fix #15231.HE, Tao2018-06-151-1/+1
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-144-4/+4
View Lorry Controller Status