| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Run linear Lint on the desugarer output (part of #19165) | Krzysztof Gogolewski | 2021-03-05 | 1 | -1/+1 |
| * | Infer multiplicity in case expressions | Krzysztof Gogolewski | 2021-03-01 | 1 | -1/+1 |
| * | Fix assertion error with linear types, #19400 | Krzysztof Gogolewski | 2021-02-27 | 2 | -0/+15 |
| * | Improve handling of overloaded labels, literals, lists etcwip/T19154 | Simon Peyton Jones | 2021-02-19 | 1 | -0/+2 |
| * | Fix typos | Brian Wignall | 2021-02-06 | 1 | -1/+1 |
| * | Add a test for #18736 | Krzysztof Gogolewski | 2021-02-06 | 2 | -0/+8 |
| * | Improve inference with linear types | Krzysztof Gogolewski | 2020-12-20 | 1 | -1/+1 |
| * | Linear types: fix quantification in GADTs (#18790) | Krzysztof Gogolewski | 2020-10-10 | 1 | -6/+21 |
| * | New linear types syntax: a %p -> b (#18459) | Vladislav Zavialov | 2020-09-29 | 11 | -26/+24 |
| * | Make 'undefined x' linear in 'x' (#18731) | Krzysztof Gogolewski | 2020-09-26 | 2 | -0/+6 |
| * | Fix typed holes causing linearity errors (#18491) | Krzysztof Gogolewski | 2020-09-25 | 2 | -0/+8 |
| * | Linear types (#15981) | Krzysztof Gogolewski | 2020-06-17 | 37 | -0/+690 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |