summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_compile/all.T
Commit message (Expand)AuthorAgeFilesLines
...
* Make T11361 actually run with reversed uniquesBartosz Nitka2016-02-151-1/+2
* Split off -Wunused-type-variables from -Wunused-matchesRyanGlScott2016-01-261-2/+2
* Fix typecheck of default associated type declsSimon Peyton Jones2016-01-181-0/+2
* Fix a number of subtle solver bugsSimon Peyton Jones2016-01-161-0/+1
* Warn about unused type variables in type familiesMichał Sośnicki2015-12-211-0/+2
* Allow recursive (undecidable) superclassesSimon Peyton Jones2015-12-151-0/+2
* Test Trac #11187Simon Peyton Jones2015-12-101-0/+1
* Test Trac #10931Simon Peyton Jones2015-10-121-0/+1
* Fix #10815 by kind-checking type patterns against known kinds.Richard Eisenberg2015-09-191-0/+1
* Add a test for Trac #10806Simon Peyton Jones2015-09-111-1/+1
* Test Trac #10753Simon Peyton Jones2015-08-071-0/+2
* Fix #10713.Richard Eisenberg2015-08-041-1/+2
* Testsuite: delete remaining only_compiler_types(['ghc']) setupsThomas Miedema2015-07-141-1/+0
* Test Trac #10634Simon Peyton Jones2015-07-131-1/+1
* Remove derived CFunEqCans after solving givensSimon Peyton Jones2015-06-151-0/+2
* Testsuite: delete expect_fail setups for ghc < 7.1Thomas Miedema2015-06-091-1/+1
* Permit empty closed type familiesAdam Gundry2015-05-041-0/+4
* Test Trac #10226Simon Peyton Jones2015-04-291-1/+1
* Improve improvement in the constraint solverSimon Peyton Jones2015-04-291-0/+1
* Don't use self {-# SOURCE #-} import in test-cases.Edward Z. Yang2015-04-221-2/+2
* Do proper depth checking in the flattener to avoid looping.Richard Eisenberg2015-03-231-0/+2
* Fix #10079 by recurring after flattening exposes a TyConApp.Richard Eisenberg2015-02-111-0/+1
* Fix the nullary-type-class case for associated typesSimon Peyton Jones2015-02-061-0/+1
* Consider equality contexts exotic, uninferrable by "deriving"Richard Eisenberg2014-12-191-1/+0
* Test Trac #9090Simon Peyton Jones2014-12-111-0/+1
* Fix the handling of instance signatures (Trac #9582, #9833)Simon Peyton Jones2014-12-011-0/+1
* Testsuite error message changesSimon Peyton Jones2014-11-041-1/+1
* Test Trac #9747Simon Peyton Jones2014-11-041-0/+1
* Test Trac #9211Simon Peyton Jones2014-11-041-0/+1
* Another test for type function saturationSimon Peyton Jones2014-09-041-0/+1
* Rename red-black test in indexed-types to red-black-deleteSimon Peyton Jones2014-08-291-1/+1
* Add an interesting type-family/GADT example of deletion for red-black treesSimon Peyton Jones2014-08-281-0/+1
* Further improvements to floating equalitiesSimon Peyton Jones2014-07-181-0/+1
* Test #9085.Richard Eisenberg2014-06-111-0/+1
* Fix egregious blunder in the type flattenerSimon Peyton Jones2014-04-101-0/+2
* Flattener preserves synonyms, rewriteEvidence can drop buggy "optimisation"Simon Peyton Jones2014-03-241-0/+1
* Test Trac #8889Simon Peyton Jones2014-03-171-0/+1
* Some typos in commentsGabor Greif2014-01-231-1/+1
* Typos in commentsKrzysztof Gogolewski2014-01-161-1/+1
* Test Trac #8651Simon Peyton Jones2014-01-101-0/+1
* T5246 and T7474 back working with -DDEBUGJoachim Breitner2013-11-221-1/+1
* Mark tests as expect_broken when borken with -DDEBUGJoachim Breitner2013-11-221-2/+2
* Test Trac #8500Simon Peyton Jones2013-11-061-0/+6
* Added test cases for closed type families in .hs-boot files.Richard Eisenberg2013-08-051-1/+5
* Add new test for #8020.Richard Eisenberg2013-08-021-1/+2
* Add test case T8018Richard Eisenberg2013-06-281-0/+2
* Test Trac #8011Simon Peyton Jones2013-06-251-0/+6
* Test Trac #8002Simon Peyton Jones2013-06-241-0/+5
* Updates to support closed type families.Richard Eisenberg2013-06-211-0/+2
* Test DerivingNewType now passesSimon Peyton Jones2013-05-301-1/+1