summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T7019.stderr
Commit message (Collapse)AuthorAgeFilesLines
* Reject forall types in constraints in signaturesSimon Peyton Jones2014-06-201-5/+4
| | | | | | | Fixes Trac #9196. Thanks to archblob for an initial stab at this. In the end I fixed it in the kind checker rather than the subsequent validity check, (a) so that the error messages look more uniform, and (b) so that I did not need to meddle with isPredTy.
* Implicit parameters should not be allowed in class and instance declarationsSimon Peyton Jones2014-03-241-1/+1
| | | | | | Trac #8912 pointed out that GHC 7.4 and 7.6 have omitted this test, although 7.2 and earlier had it. This patch puts the test back in, and refactors a little.
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-251-2/+2
| | | | | | | This matches GCC's choice of Unicode quotation marks (i.e. U+2018 and U+2019) and therefore looks more familiar on the console. This addresses #2507. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
* Update outputs following the unicode quote change in GHC's outputIan Lynagh2013-02-241-2/+2
|
* Test Trac #7019Simon Peyton Jones2012-07-121-0/+6