summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/TyAppPat_PatternBindingExistential.stderr
Commit message (Expand)AuthorAgeFilesLines
* Include "not more specific" info in overlap msgsheaf2021-11-201-4/+3
* Improve overlap error for polykinded constraintssheaf2021-10-061-2/+2
* Add instances for GHC.Tuple.SoloBen Gamari2021-01-271-1/+1
* Require ScopedTypeVariables+TypeApplications to use type applications in patt...Ryan Scott2020-12-241-5/+5
* Implement type applications in patternsCale Gibbard2020-12-141-0/+32