summaryrefslogtreecommitdiff
path: root/testsuite/tests/parser/should_fail
Commit message (Collapse)AuthorAgeFilesLines
* Entirely re-jig the handling of default type-family instances (fixes Trac #9063)Simon Peyton Jones2014-07-152-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | In looking at Trac #9063 I decided to re-design the default instances for associated type synonyms. Previously it was all jolly complicated, to support generality that no one wanted, and was arguably undesirable. Specifically * The default instance for an associated type can have only type variables on the LHS. (Not type patterns.) * There can be at most one default instances declaration for each associated type. To achieve this I had to do a surprisingly large amount of refactoring of HsSyn, specifically to parameterise HsDecls.TyFamEqn over the type of the LHS patterns. That change in HsDecls has a (trivial) knock-on effect in Haddock, so this commit does a submodule update too. The net result is good though. The code is simpler; the language specification is simpler. Happy days. Trac #9263 and #9264 are thereby fixed as well.
* Add -XBinaryLiterals language extension (re #9224)Herbert Valerio Riedel2014-06-277-0/+41
| | | | | | | | | | | | | | | | | | | | | | | Haskell2010 supports - base-10 (prefix-less), - base-8 (via `0[oO]`-prefix), and - base-16 (via `0[xX]`-prefix) integer literals. This commit adds syntax support for base-2 integer literals via the new `0[bB]` prefix. The use of a `0b` prefix for indicating binary literals is known from popular programming languages such as C++14, Perl, Python, Ruby, and Java. This syntax extension is disabled by default and can be enabled via the new `{-# LANGUAGE BinaryLiterals #-}` pragma and/or the new `-XBinaryLiterals` This new extensions requires to upgrade the `ExtsBitmap` type from `Word` to `Word64` as this adds a 33th flag which is not guaranteed to fit into a `Word`. Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org> Differential Revision: https://phabricator.haskell.org/D22
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-2532-62/+62
| | | | | | | 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>
* More different quotes in error messages following lexer clean-upJoachim Breitner2013-12-051-1/+1
|
* Different quotes in error messages following lexer clean-upSimon Peyton Jones2013-12-0514-14/+14
|
* WibbleKrzysztof Gogolewski2013-11-172-2/+2
|
* Error message wibblesSimon Peyton Jones2013-11-062-4/+8
|
* Test Trac #8506Simon Peyton Jones2013-11-063-0/+11
|
* Error messsage wibblesSimon Peyton Jones2013-11-061-32/+0
|
* Add a timeout for #8431Krzysztof Gogolewski2013-10-121-1/+1
|
* Test #8431Krzysztof Gogolewski2013-10-123-0/+4
|
* Test #8430Krzysztof Gogolewski2013-10-123-0/+9
|
* Adjust test suite to new Language Pragma warnignsJoachim Breitner2013-09-1417-25/+24
| | | | (this is related to #3647)
* Error message wibblesSimon Peyton Jones2013-09-102-9/+9
| | | | | | | | | | | | Almost all are re-orderings of relevant-binding output Relevant bindings include + m :: Map (a, b) elt (bound at T3169.hs:12:17) + b :: b (bound at T3169.hs:12:13) lookup :: (a, b) -> Map (a, b) elt -> Maybe elt (bound at T3169.hs:12:3) - b :: b (bound at T3169.hs:12:13) - m :: Map (a, b) elt (bound at T3169.hs:12:17)
* Test case for #7901.Anders Papitto2013-08-183-0/+12
| | | | Signed-off-by: Austin Seipp <aseipp@pobox.com>
* Add a test for 2 trailing commas in the module export listIan Lynagh2013-05-193-0/+6
|
* Add a test for #7848Ian Lynagh2013-04-213-0/+31
|
* Wibbles to "main is not defined in Main" messagseSimon Peyton Jones2013-04-151-1/+1
|
* Update outputs following the unicode quote change in GHC's outputIan Lynagh2013-02-2415-51/+52
|
* Convert more helper functionsIan Lynagh2013-02-111-3/+3
|
* Accept output for readFail007Ian Lynagh2013-02-011-1/+3
|
* Add a test for #984Ian Lynagh2013-02-013-0/+14
|
* A ton of error message wibblesSimon Peyton Jones2012-09-211-3/+15
| | | | | | Notably * Showing relevant bindings * Not suggesting add instance (Num T); see Trac #7222
* Added MultiWayIf tests.Mikhail Vorozhtsov2012-07-163-0/+11
|
* Added LambdaCase tests.Mikhail Vorozhtsov2012-07-163-0/+7
|
* Adapt tests to change in a parser error message.Paolo Capriotti2012-06-294-4/+5
|
* Error message modifications following ghc-new-solver modificationsDimitrios.Vytiniotis2012-04-041-12/+36
|
* Error message wibbles following TyClDecl/HsTyDefn refactoringSimon Peyton Jones2012-03-261-4/+4
|
* Modified error output and new tests for PolyKinds commitSimon Peyton Jones2012-03-021-2/+3
|
* Adapt test outputJose Pedro Magalhaes2012-01-161-2/+2
|
* Error message wibbles for new CoAxiom storySimon Peyton Jones2012-01-041-0/+2
|
* Update test suite following the removal of the default groupingSimon Peyton Jones2011-11-172-1/+3
| | | | clause from the SQL-like comprehension notation
* Error message modifications for the new constraint solver.Dimitrios Vytiniotis2011-11-161-36/+12
|
* add test for #5425Simon Marlow2011-10-103-0/+10
|
* Accept error message wibbleSimon Peyton Jones2011-09-291-1/+1
|
* Add tests for NoTraditionalRecordSyntaxIan Lynagh2011-09-277-0/+32
|
* Accept error message wibblesSimon Peyton Jones2011-09-012-9/+8
|
* Move tests from tests/ghc-regress/* to just tests/*David Terei2011-07-20153-0/+1049
View Lorry Controller Status