summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/T9834.stderr
Commit message (Expand)AuthorAgeFilesLines
* Remove flattening variablesRichard Eisenberg2020-12-011-4/+7
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-18/+24
* Orient TyVar/TyVar equalities with deepest on the leftSimon Peyton Jones2018-05-181-5/+5
* Re-engineer Given flatten-skolemsSimon Peyton Jones2017-05-261-3/+1
* Improve error messages for skolemsSimon Peyton Jones2017-03-101-3/+1
* Testsuite: remove Windows CR again.. [skip ci]Thomas Miedema2016-06-201-46/+46
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-46/+46
* Annotate `[-Wdeferred-type-errors]` in warnings (re #10752)Herbert Valerio Riedel2016-02-271-2/+2
* Allow recursive (undecidable) superclassesSimon Peyton Jones2015-12-151-35/+10
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-71/+71
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-23/+23
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-241-6/+6
* Modify a couple of error messages slightlySimon Peyton Jones2015-01-061-71/+71
* Test Trac #9834Simon Peyton Jones2014-11-261-0/+71