summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/TyAppPat_Universal.hs
Commit message (Collapse)AuthorAgeFilesLines
* Require ScopedTypeVariables+TypeApplications to use type applications in ↵Ryan Scott2020-12-241-0/+1
| | | | | | patterns Fixes #19109.
* Implement type applications in patternsCale Gibbard2020-12-141-0/+14
The haddock submodule is also updated so that it understands the changes to patterns.