summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/all.T
Commit message (Expand)AuthorAgeFilesLines
...
* Test case for #10141Richard Eisenberg2015-04-241-0/+1
* Don't use self {-# SOURCE #-} import in test-cases.Edward Z. Yang2015-04-221-1/+1
* Do proper depth checking in the flattener to avoid looping.Richard Eisenberg2015-03-231-1/+3
* Eliminate so-called "silent superclass parameters"Simon Peyton Jones2014-12-231-1/+1
* Consider equality contexts exotic, uninferrable by "deriving"Richard Eisenberg2014-12-191-0/+2
* Fix wrong-kind-of-family error message (Trac #9896)Simon Peyton Jones2014-12-181-0/+1
* Revert "Test Trac #9318"Herbert Valerio Riedel2014-11-221-1/+0
* Test T2239 actually succeeds without impredicativity, because of the new co/c...Simon Peyton Jones2014-11-211-1/+1
* Test Trac #9318Simon Peyton Jones2014-11-211-0/+1
* Test Trac #7862Simon Peyton Jones2014-11-111-1/+1
* Test Trac #9662Simon Peyton Jones2014-11-111-0/+1
* Clean up Coercible handling, and interaction of data families with newtypesSimon Peyton Jones2014-09-191-0/+1
* Another test for type function saturationSimon Peyton Jones2014-09-041-0/+1
* Check for un-saturated type family applicationsSimon Peyton Jones2014-08-251-0/+2
* Test #9371 (indexed-types/should_fail/T9371)Richard Eisenberg2014-08-121-0/+1
* Check for boxed tau types in the LHS of type family instancesSimon Peyton Jones2014-07-251-0/+1
* Fix elemLocalRdrEnv (Trac #9160)Simon Peyton Jones2014-06-121-0/+1
* Test #9097.Richard Eisenberg2014-06-111-1/+1
* Suggest -fprint-explicit-kinds when only kind variables are ambiguousSimon Peyton Jones2014-06-091-0/+1
* Check that an associated type mentions at least one type variable from the classSimon Peyton Jones2014-06-091-1/+2
* Test Trac #9036Simon Peyton Jones2014-04-281-0/+1
* Test Trac #8518Simon Peyton Jones2013-11-121-1/+3
* New tests for #8368.Richard Eisenberg2013-10-031-0/+2
* Test Trac #8129Simon Peyton Jones2013-09-201-0/+5
* Test Trac #8227Simon Peyton Jones2013-09-101-0/+4
* Test Trac #8155Simon Peyton Jones2013-08-291-1/+2
* Wibble to tests from improving comments about apartness.Richard Eisenberg2013-08-281-0/+1
* Added test cases for closed type families in .hs-boot files.Richard Eisenberg2013-08-051-1/+5
* Add test case for #7938.Richard Eisenberg2013-08-041-0/+1
* Updates to support closed type families.Richard Eisenberg2013-06-211-2/+3
* Test Trac #7967Simon Peyton Jones2013-06-121-0/+1
* Test Trac #7786Simon Peyton Jones2013-04-221-0/+1
* Test Trac #7729Simon Peyton Jones2013-03-011-1/+3
* Remove T5763Ian Lynagh2013-02-111-1/+0
* Convert more helper functionsIan Lynagh2013-02-111-1/+1
* SimpleFail9 now passes, which is actually fineSimon Peyton Jones2013-01-291-1/+1
* Rename a test that shared its name with another testIan Lynagh2013-01-251-1/+1
* Add new testcase for Trac #7560.Richard Eisenberg2013-01-081-0/+2
* Test Trac #7536Simon Peyton Jones2013-01-021-4/+1
* Implement overlapping type family instances.Richard Eisenberg2012-12-211-0/+10
* Another test for Trac #7354Simon Peyton Jones2012-10-261-0/+8
* Test Trac #7354Simon Peyton Jones2012-10-261-0/+1
* Add expected output for T7194Ian Lynagh2012-10-111-1/+1
* Test Trac #7194Simon Peyton Jones2012-08-281-0/+1
* Test Trac #5978 and #7010Simon Peyton Jones2012-07-141-2/+2
* Forgotten entry.Dimitrios.Vytiniotis2012-06-081-0/+1
* Test Trac #6123, and improve an error message in T2627bSimon Peyton Jones2012-05-251-1/+1
* Adding testcase for Trac 5934Dimitrios.Vytiniotis2012-04-101-0/+2
* Lots of error message wibbling, following theSimon Peyton Jones2012-01-121-1/+2
* Error message modifications for the new constraint solver.Dimitrios Vytiniotis2011-11-161-1/+1