| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Restrict Linear arrow %1 to exactly literal 1 onlywip/T18888 | Alan Zimmerman | 2020-11-02 | 1 | -0/+2 |
| * | Linear types: fix roles in GADTs (#18799) | Krzysztof Gogolewski | 2020-10-09 | 1 | -0/+1 |
| * | Fix linear types in TH splices (#18465) | Krzysztof Gogolewski | 2020-10-05 | 1 | -0/+1 |
| * | Reject linearity in kinds in checkValidType (#18780) | Krzysztof Gogolewski | 2020-10-02 | 1 | -0/+2 |
| * | New linear types syntax: a %p -> b (#18459) | Vladislav Zavialov | 2020-09-29 | 1 | -6/+5 |
| * | Disallow linear types in FFI (#18472) | Krzysztof Gogolewski | 2020-09-26 | 1 | -0/+1 |
| * | Pattern guards BindStmt always use multiplicity Many | Arnaud Spiwack | 2020-09-25 | 1 | -0/+1 |
| * | Linear types (#15981) | Krzysztof Gogolewski | 2020-06-17 | 1 | -0/+29 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |