| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Improve error messages for (a %m) without LinearTypes | Vladislav Zavialov | 2020-09-29 | 1 | -8/+1 |
| * | New linear types syntax: a %p -> b (#18459) | Vladislav Zavialov | 2020-09-29 | 45 | -79/+96 |
| * | Disallow linear types in FFI (#18472) | Krzysztof Gogolewski | 2020-09-26 | 3 | -0/+29 |
| * | 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 |
| * | Pattern guards BindStmt always use multiplicity Many | Arnaud Spiwack | 2020-09-25 | 3 | -0/+13 |
| * | Improve kind generalisation, error messages | Simon Peyton Jones | 2020-09-24 | 1 | -3/+5 |
| * | Implement Quick Look impredicativity | Simon Peyton Jones | 2020-09-24 | 1 | -3/+3 |
| * | Linear types (#15981) | Krzysztof Gogolewski | 2020-06-17 | 100 | -0/+1387 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |