summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/Improvement.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-1/+1
* Show explicit quantifiers in conflicting definitions errorPhil de Joux2017-01-201-2/+0
* Another major constraint-solver refactoringSimon Peyton Jones2016-11-251-1/+11
* Another major improvement of "improvement"Simon Peyton Jones2015-06-111-0/+1
* Improve improvement in the constraint solverSimon Peyton Jones2015-04-291-0/+17