Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Handle `Self` in values and patterns | Florian Diebold | 2020-05-15 | 1 | -0/+39 |
| | | | | | | | | | I.e. - `Self(x)` or `Self` in tuple/unit struct impls - `Self::Variant(x)` or `Self::Variant` in enum impls - the same in patterns Fixes #4454. | ||||
* | Convert tests to text-size | Aleksey Kladov | 2020-04-25 | 1 | -240/+240 |
| | |||||
* | Correctly infer types in guard expressions | Aleksey Kladov | 2020-04-18 | 1 | -0/+26 |
| | | | | | | | The root cause was that we forgot to add bindings from the arm to the guard expression closes #3980 | ||||
* | Align grammar for record patterns and literals | Aleksey Kladov | 2020-04-11 | 1 | -1/+2 |
| | | | | | | The grammar now looks like this [name_ref :] pat | ||||
* | Add inference for literal and range patterns | Florian Diebold | 2020-04-01 | 1 | -0/+85 |
| | |||||
* | handle array pattern matching type inference | Josh Mcguigan | 2020-03-01 | 1 | -0/+41 |
| | |||||
* | remove match statement, handle suffix | Josh Mcguigan | 2020-03-01 | 1 | -2/+2 |
| | |||||
* | handle arbitrary length slices | Josh Mcguigan | 2020-03-01 | 1 | -9/+24 |
| | |||||
* | match single prefix slice | Josh Mcguigan | 2020-03-01 | 1 | -0/+33 |
| | |||||
* | Fix handling of const patterns | Florian Diebold | 2020-02-21 | 1 | -1/+45 |
| | | | | | | | | | E.g. in `match x { None => ... }`, `None` is a path pattern (resolving to the option variant), not a binding. To determine this, we need to try to resolve the name during lowering. This isn't too hard since we already need to resolve names for macro expansion anyway (though maybe a bit hacky). Fixes #1618. | ||||
* | Fix printing of function types | Florian Diebold | 2020-02-07 | 1 | -2/+2 |
| | |||||
* | Split up ty tests a bit | Florian Diebold | 2019-12-03 | 1 | -0/+238 |