summaryrefslogtreecommitdiff
path: root/testsuite/tests/deriving/should_fail
Commit message (Expand)AuthorAgeFilesLines
* 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
* Tidy up tidySkolemInfoSimon Peyton Jones2016-01-071-8/+9
* Remove unused T10524.stderrSimon Peyton Jones2015-12-171-10/+0
* Narrow scope of special-case for unqualified printing of names in core librariesBen Gamari2015-12-151-9/+10
* Add kind equalities to GHC.Richard Eisenberg2015-12-115-23/+15
* Fix DeriveAnyClass (Trac #9968)Simon Peyton Jones2015-12-093-0/+16
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-11/+11
* Generate Typeable info at definition sitesBen Gamari2015-10-301-2/+2
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-2/+2
* Generate Typeable info at definition sitesBen Gamari2015-10-291-2/+2
* testsuite: attempt fixing fallout from 089b72f52Austin Seipp2015-09-233-3/+3
* DeriveLift extension (#1830)RyanGlScott2015-09-213-0/+11
* Improve error message for newtypes and deriving clausesJohn Wiegley2015-07-309-12/+34
* Remove all *.stderr/stdout-hugs filesThomas Miedema2015-07-066-9/+0
* Test Trac #10524Simon Peyton Jones2015-06-263-0/+19
* Improve error message for Typeable k (T k)Simon Peyton Jones2015-06-261-9/+9
* Improve kind-checking for 'deriving' clausesSimon Peyton Jones2015-06-252-10/+4
* Remove some horrible munging of origins for CoercibleSimon Peyton Jones2015-06-187-57/+35
* Don't use self {-# SOURCE #-} import in test-cases.Edward Z. Yang2015-04-224-7/+7
* Error msg wibbles from reduced module prefixesSimon Peyton Jones2015-04-071-3/+2
* Do proper depth checking in the flattener to avoid looping.Richard Eisenberg2015-03-231-2/+2
* Custom `Typeable` solver, that keeps track of kinds.Iavor S. Diatchki2015-03-079-64/+4
* Three other test updates following the fix to Trac #7854Simon Peyton Jones2015-03-041-1/+1
* Error out on `Main` without `main` in GHCi (#7765)Thomas Miedema2015-02-231-7/+7
* Print singleton consraints without parensSimon Peyton Jones2015-01-062-2/+2
* Modify a couple of error messages slightlySimon Peyton Jones2015-01-061-9/+9
View Lorry Controller Status