summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/T9036.stderr
Commit message (Expand)AuthorAgeFilesLines
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-4/+5
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-1/+1
* Fix #14369 by making injectivity warnings finer-grainedRyan Scott2017-10-191-1/+1
* Clean up some pretty-printing in errors.Richard Eisenberg2016-03-151-2/+2
* Testsuite: accept output without Windows line endings (#11631)Thomas Miedema2016-02-231-11/+11
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-13/+11
* Do proper depth checking in the flattener to avoid looping.Richard Eisenberg2015-03-231-13/+13
* Reorganise the work list, so that flattening goals are treated in the right o...Simon Peyton Jones2014-12-101-13/+13
* Wibbles (usually improvements) to error messagesSimon Peyton Jones2014-11-211-4/+5
* Testsuite error message changesSimon Peyton Jones2014-11-041-2/+2
* Test Trac #9036Simon Peyton Jones2014-04-281-0/+12