summaryrefslogtreecommitdiff
path: root/testsuite/tests/linear
Commit message (Expand)AuthorAgeFilesLines
* Run linear Lint on the desugarer output (part of #19165)Krzysztof Gogolewski2021-03-051-1/+1
* Infer multiplicity in case expressionsKrzysztof Gogolewski2021-03-011-1/+1
* Fix assertion error with linear types, #19400Krzysztof Gogolewski2021-02-272-0/+15
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-191-0/+2
* Fix typosBrian Wignall2021-02-061-1/+1
* Add a test for #18736Krzysztof Gogolewski2021-02-062-0/+8
* Fix unsoundness for linear guards (#19120)Krzysztof Gogolewski2021-01-173-0/+16
* Improve inference with linear typesKrzysztof Gogolewski2020-12-201-1/+1
* Restrict Linear arrow %1 to exactly literal 1 onlyAlan Zimmerman2020-11-035-0/+21
* Linear types: fix quantification in GADTs (#18790)Krzysztof Gogolewski2020-10-101-6/+21
* Linear types: fix roles in GADTs (#18799)Krzysztof Gogolewski2020-10-093-0/+19
* Fix linear types in TH splices (#18465)Krzysztof Gogolewski2020-10-053-0/+25
* Reject linearity in kinds in checkValidType (#18780)Krzysztof Gogolewski2020-10-026-4/+29
* Fix pretty-printing of the mult-polymorphic arrowVladislav Zavialov2020-10-013-9/+9
* Improve error messages for (a %m) without LinearTypesVladislav Zavialov2020-09-291-8/+1
* New linear types syntax: a %p -> b (#18459)Vladislav Zavialov2020-09-2945-79/+96
* Disallow linear types in FFI (#18472)Krzysztof Gogolewski2020-09-263-0/+29
* Make 'undefined x' linear in 'x' (#18731)Krzysztof Gogolewski2020-09-262-0/+6
* Fix typed holes causing linearity errors (#18491)Krzysztof Gogolewski2020-09-252-0/+8
* Pattern guards BindStmt always use multiplicity ManyArnaud Spiwack2020-09-253-0/+13
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-3/+5
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-3/+3
* Linear types (#15981)Krzysztof Gogolewski2020-06-17100-0/+1387
View Lorry Controller Status