summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile
Commit message (Expand)AuthorAgeFilesLines
* Improving error messages for synonyms.Dimitrios Vytiniotis2012-07-191-1/+1
* Added LambdaCase tests.Mikhail Vorozhtsov2012-07-162-0/+18
* Merge branch 'master' of http://darcs.haskell.org/testsuiteSimon Peyton Jones2012-07-104-55/+2
|\
| * Adapt to the re-introduction of silent superclass parametersManuel M T Chakravarty2012-06-273-54/+0
| * Test #4361 would fail because of the removal of the UNSAVORY HACKSimon Peyton Jones2012-06-211-1/+2
* | Accept error wibblesSimon Peyton Jones2012-07-101-4/+8
|/
* tc078 and tc126 are no longer expect_broken (6096 is fixed)Simon Marlow2012-06-121-2/+2
* Update test output for mdo changes (Trac #4148)Simon Peyton Jones2012-06-121-1/+1
* Merge branch 'master' of http://darcs.haskell.org/testsuiteDimitrios.Vytiniotis2012-06-083-44/+52
|\
| * Test Trac #6134Simon Peyton Jones2012-06-082-0/+9
| * Merge remote-tracking branch 'origin/unboxed-tuple-arguments2'Paolo Capriotti2012-06-051-43/+43
| |\
| | * Testsuite update for unboxed tuples in argumentsMax Bolingbroke2012-05-151-43/+43
* | | Testing new top-level defaulting plan.Dimitrios.Vytiniotis2012-06-083-0/+42
|/ /
* | tc078(hpc,optasm,profasm) are broken (#6097)Ian Lynagh2012-05-151-1/+1
* | tc126(optasm) is broken (#6096)Ian Lynagh2012-05-151-1/+1
|/
* Test Trac #6055Simon Peyton Jones2012-04-302-0/+46
* Wibble for changed pretty-printing of CoAxiomsSimon Peyton Jones2012-04-251-1/+1
* Error message wibblesSimon Peyton Jones2012-04-231-3/+3
* Merge branch 'master' of http://darcs.haskell.org//testsuiteSimon Peyton Jones2012-04-202-1/+13
|\
| * Add testcase for #6011.Paolo Capriotti2012-04-172-1/+13
* | Merge branch 'master' of http://darcs.haskell.org//testsuiteSimon Peyton Jones2012-04-132-0/+34
|\ \ | |/
| * Adding test case for polytype decomposition in the constraint solver.Dimitrios.Vytiniotis2012-04-102-0/+34
* | Wibble to error messageSimon Peyton Jones2012-04-131-43/+43
|/
* Following up from the last commit in the constraint solver.Dimitrios.Vytiniotis2012-04-052-0/+38
* Merge branch 'master' of http://darcs.haskell.org/testsuiteDimitrios.Vytiniotis2012-04-043-3/+3
|\
| * Add RankNTypes flag to tests that should really have itSimon Peyton Jones2012-04-043-3/+3
* | Error message modifications following ghc-new-solver modificationsDimitrios.Vytiniotis2012-04-043-62/+62
|/
* Error message wibbles following TyClDecl/HsTyDefn refactoringSimon Peyton Jones2012-03-264-74/+74
* The example n this test is now valid, when TypeOperators are enabled.Iavor S. Diatchki2012-03-182-0/+5
* Fixes to reflect changes in behavior of -XTypeOperators.Iavor S. Diatchki2012-03-181-24/+24
* Modified error output and new tests for PolyKinds commitSimon Peyton Jones2012-03-024-10/+47
* Accept updateIan Lynagh2012-02-211-0/+2
* Test Trac #5792Simon Peyton Jones2012-02-023-0/+18
* Lots of error message wibbling, following theSimon Peyton Jones2012-01-125-62/+71
* Test Trac #4310Simon Peyton Jones2011-12-292-0/+12
* Minor wibbles to error messages, as a result of fiddling withSimon Peyton Jones2011-12-236-20/+20
* Test Trac #5676, and wibble to error message on mod45Simon Peyton Jones2011-12-122-0/+20
* Test Trac #5595Simon Peyton Jones2011-12-052-0/+15
* Error message shuffling.Dimitrios Vytiniotis2011-11-291-2/+2
* Update outputsJose Pedro Magalhaes2011-11-251-2/+0
* Test case for #5643Dimitrios Vytiniotis2011-11-252-0/+23
* Test Trac #5655Simon Peyton Jones2011-11-242-0/+28
* Define the GHC "compiler_always_flags" in make; fixes trac #5213Ian Lynagh2011-11-171-2/+2
* Add kind annotationsJose Pedro Magalhaes2011-11-163-5/+6
* Error message modifications for the new constraint solver.Dimitrios Vytiniotis2011-11-163-70/+70
* Add expected failure output for tc167Jose Pedro Magalhaes2011-11-111-0/+6
* New kind-polymorphic coreJose Pedro Magalhaes2011-11-117-2/+12
* Add test for T5581Max Bolingbroke2011-10-252-0/+8
* Add new tests for relaxed superclass cycle checkMax Bolingbroke2011-10-223-0/+21
* Get rid of the multisrc* test typesIan Lynagh2011-10-181-1/+1
View Lorry Controller Status