summaryrefslogtreecommitdiff
path: root/testsuite/tests/deriving/should_fail
Commit message (Expand)AuthorAgeFilesLines
* 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
* Introduce DerivingViaRyan Scott2018-06-049-0/+94
* Fix #15073 by suggesting UnboxedTuples in an error messageRyan Scott2018-05-164-0/+37
* Fix #14916 with an additional validity check in deriveTyDataRyan Scott2018-03-253-0/+19
* Implement stopgap solution for #14728Ryan Scott2018-02-185-0/+52
* Remove hack put in place for #12512Ryan Scott2017-12-201-2/+4
* Minimise provided dictionaries in pattern synonymsSimon Peyton Jones2017-11-081-1/+1
* Implement the EmptyDataDeriving proposalRyan Scott2017-11-023-0/+10
* Error when deriving instances in hs-boot filesRyan Scott2017-10-196-2/+35
* Remove wc_insol from WantedConstraintsSimon Peyton Jones2017-10-111-5/+11
* Remove unneeded reqlibs for mtl and parsec in the GHC testsuiteRyan Scott2017-08-171-2/+2
* Don't suppress unimplemented type family warnings with DeriveAnyClassRyan Scott2017-08-122-7/+7
* Fix #10684 by processing deriving clauses with finer grainRyan Scott2017-07-255-0/+24
* Fix some excessive spacing in error messagesRyan Scott2017-07-121-9/+9
* Re-engineer Given flatten-skolemsSimon Peyton Jones2017-05-261-6/+2
* Improve error messages for skolemsSimon Peyton Jones2017-03-101-1/+1
* Improve pretty-printing of typesSimon Peyton Jones2017-02-281-4/+4
* Refactor DeriveAnyClass's instance context inferenceRyan Scott2017-02-106-35/+20
* Fix broken testsPhil Ruffwind2017-01-301-5/+3
* Typos and grammar in manual/commentsGabor Greif2017-01-231-1/+1
* Remove clean_cmd and extra_clean usage from .T filesThomas Miedema2017-01-221-7/+2
* Update levity polymorphismRichard Eisenberg2017-01-192-6/+5
* Replace -fshow-source-paths with -fhide-source-pathsSylvain Henry2016-11-291-2/+2
* Make default output less verbose (source/object paths)Sylvain HENRY2016-11-111-2/+2
* Prevent GND from inferring an instance context for method-less classesRyan Scott2016-11-102-8/+10
* Allow GeneralizedNewtypeDeriving for classes with associated type familiesRyan Scott2016-11-069-22/+83
* Make error when deriving an instance for a typeclass less misleadingRyan Scott2016-10-143-0/+61
* Disallow standalone deriving declarations involving unboxed tuples or sumsRyan Scott2016-10-013-0/+25
* Implement deriving strategiesRyan Scott2016-09-3018-5/+97
* Fix impredicativity (again)Simon Peyton Jones2016-09-301-2/+2
* Less scary arity mismatch error message when derivingmniip2016-09-053-7/+3
* Test Trac #12163Simon Peyton Jones2016-06-223-1/+15
* Testsuite: tabs -> spaces [skip ci]Thomas Miedema2016-06-205-14/+14
* Testsuite: remove Windows CR [skip ci]Thomas Miedema2016-06-202-29/+29
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-132-29/+29
* Testsuite: delete drvfail015.stderr-7.0 [skip ci]Thomas Miedema2016-05-241-12/+0
* Minor improvement to error messageSimon Peyton Jones2016-04-281-1/+1
* SCC analysis for instances as well as types/classesSimon Peyton Jones2016-04-201-2/+4
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-233-23/+12
* Testsuite: accept output without Windows line endings (#11631)Thomas Miedema2016-02-234-29/+29
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-232-47/+47
* Use an Implication in 'deriving' errorSimon Peyton Jones2016-01-071-10/+14
View Lorry Controller Status