Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Change parsing of struct field patterns | Marcus Klaas de Vries | 2019-01-19 | 4 | -26/+32 | |
| | ||||||
* | Finish move of StructField for pattern type inference | Marcus Klaas de Vries | 2019-01-19 | 1 | -20/+26 | |
| | ||||||
* | Move parsing of field pattern lists to the parser (where it belongs) | Marcus Klaas de Vries | 2019-01-19 | 5 | -60/+59 | |
| | ||||||
* | Add initial (flawed) implementation of binding annotations | Marcus Klaas de Vries | 2019-01-19 | 3 | -2/+19 | |
| | ||||||
* | Implement unlabeled struct field pattern inference | Marcus Klaas de Vries | 2019-01-19 | 1 | -31/+11 | |
| | ||||||
* | Create struct patterns up to the hir level | Marcus Klaas de Vries | 2019-01-19 | 3 | -7/+80 | |
| | ||||||
* | Add additional pattern variants | Marcus Klaas de Vries | 2019-01-19 | 2 | -4/+12 | |
| | ||||||
* | make token set a const-fn | Aleksey Kladov | 2019-01-19 | 8 | -57/+52 | |
| | ||||||
* | Update ARRAY_EXPR grammar | Hirokazu Hata | 2019-01-16 | 2 | -2/+8 | |
| | ||||||
* | Merge #536 | bors[bot] | 2019-01-16 | 1 | -0/+9 | |
|\ | | | | | | | | | | | | | | | | | | | 536: Introduce variable semicolon block expr r=matklad a=yerke Fix for https://github.com/rust-analyzer/rust-analyzer/issues/504 Feels a bit hacky... Co-authored-by: Yerkebulan Tulibergenov <[email protected]> | |||||
| * | add has_semi to ExprStmt | Yerkebulan Tulibergenov | 2019-01-16 | 1 | -0/+9 | |
| | | ||||||
* | | update salsa | Aleksey Kladov | 2019-01-15 | 1 | -1/+1 | |
| | | ||||||
* | | Fix type inference for raw (byte) strings | Marcus Klaas de Vries | 2019-01-14 | 3 | -14/+61 | |
| | | ||||||
* | | Fixup tests | Marcus Klaas de Vries | 2019-01-14 | 5 | -45/+148 | |
| | | ||||||
* | | Start moving literal interpretation to the AST (WIP) | Marcus Klaas de Vries | 2019-01-14 | 3 | -6/+128 | |
| | | ||||||
* | | Try implementing integer type inference (WIP) | Marcus Klaas de Vries | 2019-01-14 | 1 | -1/+1 | |
| | | ||||||
* | | Implement type inference for literals (WIP) | Marcus Klaas de Vries | 2019-01-14 | 3 | -1/+27 | |
|/ | ||||||
* | Update TUPLE_EXPR grammar | Hirokazu Hata | 2019-01-13 | 2 | -2/+8 | |
| | ||||||
* | support ref-patterns | Aleksey Kladov | 2019-01-13 | 3 | -2/+12 | |
| | ||||||
* | Fix handling of attributes in positional field lists | DJMcNab | 2019-01-12 | 3 | -0/+53 | |
| | ||||||
* | rename TreePtr -> TreeArc | Aleksey Kladov | 2019-01-11 | 10 | -151/+151 | |
| | | | | This is much clearer about the semantics | |||||
* | force serde in ra_syntax | Aleksey Kladov | 2019-01-11 | 2 | -4/+22 | |
| | ||||||
* | Fix handling of where clauses in tuple structs | DJMcNab | 2019-01-10 | 3 | -0/+68 | |
| | ||||||
* | fuzz-lockfile | Aleksey Kladov | 2019-01-08 | 1 | -32/+9 | |
| | ||||||
* | kill text utils | Aleksey Kladov | 2019-01-08 | 3 | -19/+6 | |
| | ||||||
* | upstream text-utils to text_unit | Aleksey Kladov | 2019-01-08 | 3 | -20/+6 | |
| | ||||||
* | add comment | Aleksey Kladov | 2019-01-08 | 1 | -0/+9 | |
| | ||||||
* | move node at offset to aglo already | Aleksey Kladov | 2019-01-08 | 1 | -1/+5 | |
| | ||||||
* | assist to convert if-let to match | Aleksey Kladov | 2019-01-08 | 1 | -1/+1 | |
| | ||||||
* | itroduce trait for ast tokens | Aleksey Kladov | 2019-01-08 | 7 | -53/+28 | |
| | ||||||
* | migrate ra_hir to rowan 2.0 | Aleksey Kladov | 2019-01-08 | 2 | -0/+38 | |
| | ||||||
* | migrate ra_db to new rowan | Aleksey Kladov | 2019-01-08 | 1 | -1/+10 | |
| | ||||||
* | wrap TreePtr | Aleksey Kladov | 2019-01-08 | 1 | -7/+45 | |
| | ||||||
* | regenerate | Aleksey Kladov | 2019-01-08 | 1 | -3052/+1791 | |
| | ||||||
* | switch ra_syntax to new rowan API | Aleksey Kladov | 2019-01-08 | 15 | -327/+266 | |
| | ||||||
* | update rowan | Aleksey Kladov | 2019-01-08 | 1 | -1/+1 | |
| | ||||||
* | Implement type inference for more binary operators | Marcus Klaas de Vries | 2019-01-07 | 1 | -2/+2 | |
| | | | | | Mostly just for primitive numeric types such as u32 and f64. Not yet a general solution using trait resolution. | |||||
* | Add remaining binary operations to AST | Marcus Klaas de Vries | 2019-01-07 | 3 | -1/+72 | |
| | ||||||
* | Merge #440 | bors[bot] | 2019-01-06 | 1 | -0/+52 | |
|\ | | | | | | | | | | | | | | | | | | | 440: Implement type inference for boolean operators r=flodiebold a=marcusklaas Tried implementing the easiest part of https://github.com/rust-analyzer/rust-analyzer/issues/390. Hope this is somewhat close to what the intent of the issue was. Found it surprisingly easy to find my way around the repository - it's well organized! Very grateful for any pointers. Co-authored-by: Marcus Klaas de Vries <[email protected]> | |||||
| * | Touch up type inference for boolean operators | Marcus Klaas de Vries | 2019-01-06 | 3 | -26/+26 | |
| | | | | | | | | | | Also try to infer its subexpressions and set type expectations whenever possible. | |||||
| * | Implement type inference for boolean operators | Marcus Klaas de Vries | 2019-01-05 | 3 | -2/+54 | |
| | | ||||||
* | | Make FnScopes use hir::Expr | Florian Diebold | 2019-01-05 | 2 | -22/+13 | |
| | | | | | | | | | | | | This was a bit complicated. I've added a wrapper type for now that does the LocalSyntaxPtr <-> ExprId translation; we might want to get rid of that or give it a nicer interface. | |||||
* | | Add HIR Expr machinery | Florian Diebold | 2019-01-05 | 2 | -3/+11 | |
|/ | ||||||
* | change visibility can change pub to pub(crate) | Aleksey Kladov | 2019-01-05 | 1 | -0/+18 | |
| | ||||||
* | split import assist | Aleksey Kladov | 2019-01-05 | 1 | -0/+6 | |
| | ||||||
* | Rename traits::impl_item -> impl_block as well, as well as the tests | Florian Diebold | 2019-01-04 | 6 | -4/+4 | |
| | ||||||
* | Type the self parameter | Florian Diebold | 2019-01-04 | 3 | -2/+79 | |
| | ||||||
* | Add HIR for impl blocks | Florian Diebold | 2019-01-04 | 2 | -3/+43 | |
| | | | | | | | | | Since we need to be able to go from def to containing impl block, as well as the other direction, and to find all impls for a certain type, a design similar to the one for modules, where we collect all impls for the whole crate and keep them in an arena, seemed fitting. The ImplBlock type, which provides the public interface, then consists only of an Arc to the arena containing all impls, and the index into it. | |||||
* | Rename ImplItem to ImplBlock | Florian Diebold | 2019-01-04 | 21 | -47/+46 | |
| | | | | | rustc uses the name ImplItem for items in impls, not the impl {} block itself, which could lead to confusion. | |||||
* | add mod doc comments test in ast | csmoe | 2019-01-04 | 1 | -0/+13 | |
| |