summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T8603.stderr
Commit message (Expand)AuthorAgeFilesLines
* Do eager instantation in termsSimon Peyton Jones2020-04-221-3/+3
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-141-1/+1
* Remove wc_insol from WantedConstraintsSimon Peyton Jones2017-10-111-4/+3
* Track visibility in TypeEqOriginRichard Eisenberg2017-07-271-3/+4
* Improve error messages around kind mismatches.Richard Eisenberg2017-07-271-9/+4
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-071-2/+2
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-4/+4
* Visible type applicationRichard Eisenberg2015-12-241-11/+4
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-8/+4
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-17/+26
* Improve improvement in the constraint solverSimon Peyton Jones2015-04-291-30/+21
* Eliminate so-called "silent superclass parameters"Simon Peyton Jones2014-12-231-25/+30
* Revise the inert-set invariants againSimon Peyton Jones2014-12-081-1/+1
* Do not discard insoluble Derived constraintsSimon Peyton Jones2014-09-261-22/+25
* Do type-class defaulting even if there are insoluble constraintsSimon Peyton Jones2014-04-281-4/+4
* Use U+2018 instead of U+201B quote mark in compiler messagesHerbert Valerio Riedel2014-02-251-5/+5
* Test Trac #8603Simon Peyton Jones2013-12-281-0/+22