summaryrefslogtreecommitdiff
path: root/testsuite/tests/linear
Commit message (Expand)AuthorAgeFilesLines
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-172-2/+2
* Improve pretty-printer defaulting logic (#19361)Krzysztof Gogolewski2021-09-173-0/+20
* Linear types: fix linting of multiplicities (#19165)Krzysztof Gogolewski2021-08-041-1/+1
* Disable -fdefer-type-errors for linear types (#20083)Krzysztof Gogolewski2021-08-044-2/+30
* Disallow nonlinear fields in Template Haskell (#18378)Krzysztof Gogolewski2021-08-027-0/+29
* Reject pattern synonyms with linear types (#18806)Krzysztof Gogolewski2021-07-295-2/+13
* Add proper GHCHints for most PsMessage constructorswip/adinapoli-issue-20055Alfredo Di Napoli2021-07-122-2/+4
* Fixes around incomplete guards (#20023, #20024)Krzysztof Gogolewski2021-06-244-13/+8
* Typos, minor comment fixesKrzysztof Gogolewski2021-06-221-2/+2
* GHC Exactprint main commitAlan Zimmerman2021-03-202-2/+2
* 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