summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/abstract_refinement_hole_fits.stderr
Commit message (Expand)AuthorAgeFilesLines
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-4/+2
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-16/+16
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-44/+44
* Give seq a more precise type and remove magicBen Gamari2019-11-191-4/+4
* base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` insteadHerbert Valerio Riedel2019-03-221-8/+0
* Add built-in syntax suggestions, and refactor to allow library useMatthías Páll Gissurarson2018-11-011-18/+18
* Fix `print-explicit-runtime-reps` (#11786).HE, Tao2018-06-081-82/+58
* Improved Valid Hole FitsMatthías Páll Gissurarson2018-05-301-0/+277