summaryrefslogtreecommitdiff
path: root/testsuite/tests/linear/should_fail/all.T
Commit message (Expand)AuthorAgeFilesLines
* Add a test for #21278Krzysztof Gogolewski2023-05-111-0/+1
* Improve pretty-printer defaulting logic (#19361)Krzysztof Gogolewski2021-09-171-0/+1
* Disable -fdefer-type-errors for linear types (#20083)Krzysztof Gogolewski2021-08-041-0/+1
* Disallow nonlinear fields in Template Haskell (#18378)Krzysztof Gogolewski2021-08-021-0/+2
* Reject pattern synonyms with linear types (#18806)Krzysztof Gogolewski2021-07-291-0/+1
* Fixes around incomplete guards (#20023, #20024)Krzysztof Gogolewski2021-06-241-1/+1
* Fix unsoundness for linear guards (#19120)Krzysztof Gogolewski2021-01-171-0/+1
* Restrict Linear arrow %1 to exactly literal 1 onlyAlan Zimmerman2020-11-031-0/+2
* Linear types: fix roles in GADTs (#18799)Krzysztof Gogolewski2020-10-091-0/+1
* Fix linear types in TH splices (#18465)Krzysztof Gogolewski2020-10-051-0/+1
* Reject linearity in kinds in checkValidType (#18780)Krzysztof Gogolewski2020-10-021-0/+2
* New linear types syntax: a %p -> b (#18459)Vladislav Zavialov2020-09-291-6/+5
* Disallow linear types in FFI (#18472)Krzysztof Gogolewski2020-09-261-0/+1
* Pattern guards BindStmt always use multiplicity ManyArnaud Spiwack2020-09-251-0/+1
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-0/+29