summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/hole_constraints_nested.stderr
Commit message (Expand)AuthorAgeFilesLines
* Improved Valid Hole FitsMatthías Páll Gissurarson2018-05-301-8/+1
* Track type variable scope more carefully.Richard Eisenberg2018-03-311-3/+1
* Also show types that subsume a hole as valid substitutions for that hole.Matthías Páll Gissurarson2017-09-211-0/+12
* Show constraints when reporting typed holesMaciej Bielecki2016-12-151-0/+15