summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail
Commit message (Expand)AuthorAgeFilesLines
* ghc: implement OverloadedRecordFieldswip/orf-newAdam Gundry2014-10-211-1/+2
* Use correct precedence when printing contexts with class operatorsSimon Peyton Jones2014-10-075-58/+58
* Extend `Foldable` class with `length` and `null` methodsHerbert Valerio Riedel2014-09-282-4/+4
* Complain about illegal type literals in renamer, not parserSimon Peyton Jones2014-09-264-1/+8
* Improve error messages from functional dependenciesSimon Peyton Jones2014-09-267-25/+79
* Wibble to implicit-parameter error messageSimon Peyton Jones2014-09-262-10/+12
* Do not discard insoluble Derived constraintsSimon Peyton Jones2014-09-2614-86/+102
* Clean up Coercible handling, and interaction of data families with newtypesSimon Peyton Jones2014-09-191-1/+2
* Increase -fcontext-stack=N default to 100Simon Peyton Jones2014-09-191-7/+13
* Move `Maybe`-typedef into GHC.BaseHerbert Valerio Riedel2014-09-164-5/+6
* Bump `base` version to 4.8.0.0 for realHerbert Valerio Riedel2014-09-091-1/+1
* Re-export Word from Prelude (re #9531)Herbert Valerio Riedel2014-08-311-1/+1
* Testsuite wibblesSimon Peyton Jones2014-08-281-1/+0
* Wibbles to "...plus N others" error message about instances in scopeSimon Peyton Jones2014-08-283-7/+6
* Do not zero out version number when processing wired-in packages.Edward Z. Yang2014-08-222-2/+4
* Test #9415 (typecheck/should_fail/T9415)Richard Eisenberg2014-08-123-0/+14
* Implement the final change to INCOHERENT from Trac #9242Simon Peyton Jones2014-08-084-23/+23
* Complete work on new OVERLAPPABLE/OVERLAPPING pragmas (Trac #9242)Simon Peyton Jones2014-07-3110-16/+15
* Test Trac #9323Simon Peyton Jones2014-07-173-0/+13
* Entirely re-jig the handling of default type-family instances (fixes Trac #9063)Simon Peyton Jones2014-07-155-27/+28
* Test case for #9305Joachim Breitner2014-07-133-1/+17
* Reject forall types in constraints in signaturesSimon Peyton Jones2014-06-206-11/+25
* Tidy up the printing of single-predicate contextsSimon Peyton Jones2014-06-208-18/+18
* Improve error message in Trac #8883Simon Peyton Jones2014-06-115-59/+59
* Clarify error message. See #9167.Richard Eisenberg2014-06-111-1/+1
* Check that an associated type mentions at least one type variable from the classSimon Peyton Jones2014-06-091-1/+1
* Add testcase for #9177 and adjust test outputJoachim Breitner2014-06-061-0/+2
* Subsume NullaryTypeClasses by MultiParamTypeClasses (#8993)Owen Stephens2014-06-042-2/+2
* Do pretty-printing of TyThings via IfaceDecl (Trac #7730)Simon Peyton Jones2014-06-031-1/+1
* s/implict/implicit/iEdward Z. Yang2014-05-293-3/+3
* Do type-class defaulting even if there are insoluble constraintsSimon Peyton Jones2014-04-2810-79/+94
* Deprecate the AMP warnings.Austin Seipp2014-04-204-5/+2
* Validate inferred theta. Fixes #8883Jan Stolarek2014-04-193-1/+28
* Implicit parameters should not be allowed in class and instance declarationsSimon Peyton Jones2014-03-247-11/+31
* Fix validation issue due to Coercible move (#8894)Joachim Breitner2014-03-173-3/+3
* Remove "Safe mode" check for Coercible instancesRichard Eisenberg2014-03-133-20/+0
* Make -XDeriveFunctor more generous about non-last arguments (Trac #8678)Simon Peyton Jones2014-03-071-1/+1
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-25286-983/+983
* Add test case for #8806.Erik de Castro Lopo2014-02-203-0/+18
* Allow ($) to return an unlifted type (Trac #8739)Simon Peyton Jones2014-02-181-1/+1
* Changes in error messages when fixing Trac #8649Simon Peyton Jones2014-01-091-1/+1
* Error message wibblesSimon Peyton Jones2013-12-281-53/+53
* Test Trac #8603Simon Peyton Jones2013-12-283-0/+55
* Error wibbles while fixing #8607.Richard Eisenberg2013-12-262-2/+2
* Update output: New error messages as per #8576Joachim Breitner2013-12-033-4/+4
* Wibbles to output caused by change in checking role annotationsRichard Eisenberg2013-12-023-3/+3
* Update testsuite for nicer Coercible messageJoachim Breitner2013-12-023-7/+7
* Test Trac #8570Simon Peyton Jones2013-11-295-0/+21
* Wibbles when fixing Trac #8570Simon Peyton Jones2013-11-291-13/+0
* T5246 and T7474 back working with -DDEBUGJoachim Breitner2013-11-221-1/+1
View Lorry Controller Status