summaryrefslogtreecommitdiff
path: root/testsuite/tests/linear/should_fail/LinearPatSyn2.stderr
Commit message (Expand)AuthorAgeFilesLines
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Check for uninferrable variables in tcInferPatSynDeclSimon Peyton Jones2022-05-101-1/+1
* Reject pattern synonyms with linear types (#18806)Krzysztof Gogolewski2021-07-291-0/+5