summaryrefslogtreecommitdiff
path: root/testsuite/tests/deriving/should_fail/all.T
Commit message (Expand)AuthorAgeFilesLines
* Add test for #21871sheaf2022-07-221-0/+1
* Fix the free-var test in validDerivPredSimon Peyton Jones2022-04-071-0/+1
* Forbid standalone instances for built-in classessheaf2022-02-221-0/+2
* Enable UnboxedTuples in `genInst`, Fixes #20524CarrieMY2021-11-251-2/+0
* Make isTauTy detect higher-rank contextsRyan Scott2020-05-061-0/+1
* Refactor TcDeriv to validity-check less in anyclass/via deriving (#13154)Ryan Scott2019-10-281-0/+1
* Banish reportFloatingViaTvs to the shadow realm (#15831, #16181)Ryan Scott2019-07-261-0/+2
* Don't typecheck too much (or too little) in DerivingVia (#16923)Ryan Scott2019-07-111-0/+1
* 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
* Introduce DerivingViaRyan Scott2018-06-041-0/+4
* Fix #15073 by suggesting UnboxedTuples in an error messageRyan Scott2018-05-161-0/+2
* Fix #14916 with an additional validity check in deriveTyDataRyan Scott2018-03-251-0/+1
* Implement stopgap solution for #14728Ryan Scott2018-02-181-0/+2
* Implement the EmptyDataDeriving proposalRyan Scott2017-11-021-0/+1
* Error when deriving instances in hs-boot filesRyan Scott2017-10-191-0/+2
* Remove unneeded reqlibs for mtl and parsec in the GHC testsuiteRyan Scott2017-08-171-2/+2
* Fix #10684 by processing deriving clauses with finer grainRyan Scott2017-07-251-0/+2
* Refactor DeriveAnyClass's instance context inferenceRyan Scott2017-02-101-1/+0
* Remove clean_cmd and extra_clean usage from .T filesThomas Miedema2017-01-221-7/+2
* Allow GeneralizedNewtypeDeriving for classes with associated type familiesRyan Scott2016-11-061-1/+3
* Make error when deriving an instance for a typeclass less misleadingRyan Scott2016-10-141-0/+2
* Disallow standalone deriving declarations involving unboxed tuples or sumsRyan Scott2016-10-011-0/+1
* Implement deriving strategiesRyan Scott2016-09-301-0/+6
* Test Trac #12163Simon Peyton Jones2016-06-221-1/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-1/+0
* Fix DeriveAnyClass (Trac #9968)Simon Peyton Jones2015-12-091-0/+2
* testsuite: attempt fixing fallout from 089b72f52Austin Seipp2015-09-231-1/+1
* DeriveLift extension (#1830)RyanGlScott2015-09-211-0/+1
* Improve error message for newtypes and deriving clausesJohn Wiegley2015-07-301-0/+2
* Test Trac #10524Simon Peyton Jones2015-06-261-0/+1
* Don't use self {-# SOURCE #-} import in test-cases.Edward Z. Yang2015-04-221-1/+1
* Custom `Typeable` solver, that keeps track of kinds.Iavor S. Diatchki2015-03-071-3/+3
* Rewrite `Coercible` solverRichard Eisenberg2014-12-121-0/+1
* Improve error message for a handwritten Typeable instanceSimon Peyton Jones2014-11-041-0/+1
* Remove obsolete Data.OldTypeable (#9639)Michael Karg2014-10-181-1/+0
* Fix Trac #9071, an egregious bug in TcDeriv.inferConstraintsSimon Peyton Jones2014-05-061-0/+3
* Recharacterize test according to discussion in #8851.Richard Eisenberg2014-03-131-1/+2
* Test #6147, which was fixed with the roles commit.Richard Eisenberg2014-02-091-0/+1
* Test Trac #5498Simon Peyton Jones2014-01-091-0/+1
* test Trac #7800Simon Peyton Jones2013-09-201-0/+1
* Update to tests due to change in syntax for role annotations.Richard Eisenberg2013-09-171-10/+0
* Add tests for roles.Richard Eisenberg2013-08-021-0/+15
* Test Trac #7959Krzysztof Gogolewski2013-06-051-0/+1
* Add test for T5863Jose Pedro Magalhaes2013-05-211-0/+1
* Implement poly-kinded TypeableJose Pedro Magalhaes2013-02-121-1/+0
* Add another test for #1133Ian Lynagh2013-01-221-1/+4
* Test Trac #5922Simon Peyton Jones2012-03-091-0/+1
* Test Trac #5686Simon Peyton Jones2011-12-121-0/+1
View Lorry Controller Status