summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail
Commit message (Collapse)AuthorAgeFilesLines
* Improvements to kind error messages, mainlySimon Peyton Jones2012-10-1924-45/+63
| | | | Also some expected/actual messages are now the right way round
* Replace Rank2Types and PolymorphicComponents by RankNTypesSimon Peyton Jones2012-10-199-9/+9
|
* Add a test for T6161Ian Lynagh2012-10-113-0/+35
|
* Error message wibbles now that we do less defaulting when there are insolublesSimon Peyton Jones2012-10-046-16/+14
|
* Tons of error message wibblesSimon Peyton Jones2012-09-2824-204/+138
|
* A ton of error message wibblesSimon Peyton Jones2012-09-2173-380/+558
| | | | | | Notably * Showing relevant bindings * Not suggesting add instance (Num T); see Trac #7222
* Merge with masterSimon Peyton Jones2012-09-213-0/+12
|\
| * Add test for #7210.Paolo Capriotti2012-09-063-0/+12
| |
* | Accept error message changesSimon Peyton Jones2012-08-301-20/+20
|/
* Teat Trac #7175Simon Peyton Jones2012-08-293-0/+18
|
* Add error outputSimon Peyton Jones2012-07-201-1/+7
|
* Test Trac #2534Simon Peyton Jones2012-07-203-0/+5
|
* Merge with HEADSimon Peyton Jones2012-07-165-1/+62
|\
| * Added MultiWayIf tests.Mikhail Vorozhtsov2012-07-163-0/+25
| |
| * Test Trac #5978 and #7010Simon Peyton Jones2012-07-143-1/+38
| |
* | Test Trac #7019Simon Peyton Jones2012-07-125-0/+46
|/
* WibbleSimon Peyton Jones2012-07-111-6/+6
|
* Merge branch 'master' of http://darcs.haskell.org/testsuiteSimon Peyton Jones2012-07-112-0/+10
|\
| * Add tcfail209aSimon Peyton Jones2012-07-112-0/+10
| |
* | Accept error message changesSimon Peyton Jones2012-07-111-29/+0
|/
* Merge branch 'master' of http://darcs.haskell.org/testsuiteSimon Peyton Jones2012-07-1012-56/+125
|\ | | | | | | | | Conflicts: tests/typecheck/should_fail/tcfail181.stderr
| * Add stderr for tests now (correctly) failing due to silent superclass argsManuel M T Chakravarty2012-06-272-0/+24
| |
| * Adapt to the re-introduction of silent superclass parametersManuel M T Chakravarty2012-06-278-40/+55
| |
| * Merge branch 'master' of http://darcs.haskell.org/testsuiteSimon Peyton Jones2012-06-213-5/+2
| |\
| * | Wibbles to error messagesSimon Peyton Jones2012-06-212-2/+34
| | |
* | | Accept error wibblesSimon Peyton Jones2012-07-1014-301/+111
| |/ |/|
* | Add tests for deriving Generic1Jose Pedro Magalhaes2012-06-213-5/+2
|/ | | | Most of these tests were written by Nicolas Frisby.
* Improved error messageSimon Peyton Jones2012-06-131-6/+10
|
* no need to force -O here any more (#3966)Simon Marlow2012-06-122-10/+9
|
* Merge branch 'master' of http://darcs.haskell.org/testsuiteDimitrios.Vytiniotis2012-06-0817-157/+10
|\ | | | | | | | | Conflicts: tests/typecheck/should_compile/all.T
| * tcfail098 now passes because of UndecidableInstancesSimon Peyton Jones2012-06-083-9/+7
| | | | | | | | (I've added comments in TcMType.checkValidInstance)
| * Error message wibblesSimon Peyton Jones2012-06-071-1/+1
| |
| * Merge remote-tracking branch 'origin/unboxed-tuple-arguments2'Paolo Capriotti2012-06-0514-147/+2
| |\
| | * Testsuite update for unboxed tuples in argumentsMax Bolingbroke2012-05-1514-147/+2
| | | | | | | | | | | | We are careful to test slow calls and RtClosureInspect, as well as standard fast calls
* | | Testing of generating Derived equalities from Given dictionariesDimitrios.Vytiniotis2012-06-083-0/+38
|/ / | | | | | | with functional dependencies.
* | Accept output for mc22Ian Lynagh2012-05-221-0/+5
| | | | | | | | I'm not entirely sure why it changed, but I think it's OK.
* | Follow the move of Word from base to ghc-primIan Lynagh2012-05-228-32/+38
| |
* | Fix tests to run without mtlIan Lynagh2012-05-192-2/+2
|/
* Test Trac #6078Simon Peyton Jones2012-05-093-0/+23
|
* Trac #6022 is broken at the momentSimon Peyton Jones2012-04-251-1/+1
|
* Merge branch 'master' of http://darcs.haskell.org//testsuiteSimon Peyton Jones2012-04-243-0/+31
|\ | | | | | | | | Conflicts: tests/typecheck/should_fail/all.T
| * Merge branch 'master' of http://darcs.haskell.org/testsuiteSimon Peyton Jones2012-04-244-1/+45
| |\
| * | Test Trac #5853Simon Peyton Jones2012-04-203-0/+31
| | |
* | | Merge branch 'master' of http://darcs.haskell.org//testsuiteSimon Peyton Jones2012-04-234-1/+45
|\ \ \ | | |/ | |/|
| * | Error message wibblesSimon Peyton Jones2012-04-232-7/+7
| | |
| * | Merge branch 'master' of http://darcs.haskell.org/testsuiteSimon Peyton Jones2012-04-13140-748/+1308
| |\ \ | | |/ | | | | | | | | | Conflicts: tests/typecheck/should_fail/all.T
| * | Test Trac #5691Simon Peyton Jones2011-12-153-0/+44
| | |
* | | Test Trac #6022Simon Peyton Jones2012-04-223-0/+10
| |/ |/|
* | Add testcase for #6001Paolo Capriotti2012-04-123-0/+15
| |
* | Merge branch 'master' of http://darcs.haskell.org/testsuiteDimitrios.Vytiniotis2012-04-044-1/+12
|\ \
View Lorry Controller Status