Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Simplify | Aleksey Kladov | 2020-01-15 | 1 | -7/+5 |
| | |||||
* | refactor(ra_syntax.validation): removed code duplication from ↵ | Veetaha | 2020-01-14 | 1 | -35/+26 |
| | | | | validate_literal() function | ||||
* | Some clippy lints | kjeremy | 2020-01-13 | 1 | -2/+2 |
| | |||||
* | Qualify paths in 'fill match arms' assist | Florian Diebold | 2020-01-12 | 1 | -2/+3 |
| | |||||
* | Fix ordering problem between qualifying paths and substituting params | Florian Diebold | 2020-01-11 | 3 | -9/+16 |
| | |||||
* | Handle type args | Florian Diebold | 2020-01-11 | 1 | -0/+7 |
| | |||||
* | Basic DocumentHighlightKind support for assignments | Jeremy Kolb | 2020-01-10 | 1 | -0/+1 |
| | |||||
* | Parse trait aliases | Emil Lauridsen | 2020-01-09 | 2 | -0/+131 |
| | |||||
* | :arrow_up: rowan | Aleksey Kladov | 2020-01-09 | 4 | -9/+7 |
| | |||||
* | Improve const generics parsing | Michael Chesser | 2020-01-06 | 5 | -19/+106 |
| | | | | | - Handle const generics type args - Fix issue with const generic as first parameter in trait impl | ||||
* | BinOp helper to detect assignment | Jeremy Kolb | 2020-01-04 | 1 | -0/+18 |
| | |||||
* | remove unused file | Aleksey Kladov | 2020-01-04 | 1 | -6/+0 |
| | |||||
* | Switch ast declaration from ron to a macro | Aleksey Kladov | 2020-01-03 | 2 | -2214/+1476 |
| | |||||
* | Collect visibility of items during nameres | Florian Diebold | 2019-12-26 | 2 | -3/+6 |
| | |||||
* | Add infrastructure for visibility on syntax and hir_def level | Florian Diebold | 2019-12-26 | 2 | -1/+32 |
| | |||||
* | Remove AsyncOwner | Edwin Cheng | 2019-12-24 | 4 | -10/+5 |
| | |||||
* | Implement infer await from async func | Edwin Cheng | 2019-12-24 | 3 | -1/+10 |
| | |||||
* | Merge #2642 | bors[bot] | 2019-12-22 | 3 | -5/+10 |
|\ | | | | | | | | | | | | | | | 2642: Use name instead of ident in parser for macro 2.0 syntax r=matklad a=edwin0cheng Co-authored-by: Edwin Cheng <[email protected]> | ||||
| * | Use name instead of ident for macro 2.0 sytnax | Edwin Cheng | 2019-12-22 | 3 | -5/+10 |
| | | |||||
* | | Merge #2641 | bors[bot] | 2019-12-22 | 4 | -0/+59 |
|\ \ | |/ |/| | | | | | | | | | | | | | | | | | 2641: Parse const generics r=matklad a=roblabla Adds very primitive support for parsing const generics (`const IDENT: TY`) so that rust-analyzer stops complaining about the syntax being invalid. Fixes #1574 Fixes #2281 Co-authored-by: roblabla <[email protected]> | ||||
| * | Parse const generics | roblabla | 2019-12-22 | 4 | -0/+59 |
| | | | | | | | | | | Fixes #1574 Fixes #2281 | ||||
* | | Merge #2628 | bors[bot] | 2019-12-21 | 8 | -329/+243 |
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2628: Add macro 2.0 support in parser r=matklad a=edwin0cheng This PR added a new syntax kind : `MACRO_DEF` and a keyword `MACRO_KW` there are two syntax for declarative macro 2.0 : 1. Normal : `macro m { ($i:ident) => {} }` , which handle similar to legacy one. 2. Call like: `macro m($i:ident) {}`, it produces a single token tree which have two child token trees : `($i:ident)` and `{}` Co-authored-by: Edwin Cheng <[email protected]> | ||||
| * | | Add macro 2.0 support in parser | Edwin Cheng | 2019-12-21 | 8 | -329/+243 |
| | | | |||||
* | | | Clippy lints | kjeremy | 2019-12-20 | 1 | -2/+1 |
|/ / | |||||
* | | Handle closure return types | Florian Diebold | 2019-12-20 | 2 | -1/+4 |
| | | | | | | | | Fixes #2547. | ||||
* | | Fix parser for macro call in pattern position | Edwin Cheng | 2019-12-20 | 1 | -5/+4 |
| | | |||||
* | | Use unwrap_or_default | kjeremy | 2019-12-20 | 1 | -2/+2 |
|/ | |||||
* | Improve recovery for incomplete lambdas | Aleksey Kladov | 2019-12-17 | 2 | -0/+88 |
| | |||||
* | Avoid recompiling serde | Aleksey Kladov | 2019-12-12 | 1 | -3/+4 |
| | |||||
* | DynMap | Aleksey Kladov | 2019-12-06 | 1 | -2/+12 |
| | | | | | This might, or might not help us to reduce boilerplate associated with plumbing values from analysis to the IDE layer | ||||
* | :arrow_up: rowan | Aleksey Kladov | 2019-12-04 | 3 | -8/+8 |
| | |||||
* | Add `ModuleItemsOwner` to `Block` | ice1000 | 2019-12-03 | 2 | -2/+4 |
| | |||||
* | Fix hir for ast::UnionDef | Aleksey Kladov | 2019-11-25 | 3 | -19/+29 |
| | |||||
* | Introduce dedicated AST node for union | Aleksey Kladov | 2019-11-25 | 4 | -3/+41 |
| | | | | | | | | | | Although structs and unions have the same syntax and differ only in the keyword, re-using the single syntax node for both of them leads to confusion in practice, and propagates further down the hir in an upleasent way. Moreover, static and consts also share syntax, but we use different nodes for them. | ||||
* | Merge #2343 | bors[bot] | 2019-11-24 | 3 | -4/+25 |
|\ | | | | | | | | | | | | | | | | | | | 2343: implement assist invert_if r=matklad a=bravomikekilo fix [issue 2219 invert if condition](https://github.com/rust-analyzer/rust-analyzer/issues/2219) I put the assist cursor range to `if` of the if expression, because both condition and body will be replaced. Is there any way to replace them without cover the cursor position? @matklad Co-authored-by: bravomikekilo <[email protected]> | ||||
| * | do refact and fix some issue | bravomikekilo | 2019-11-24 | 3 | -4/+25 |
| | | |||||
* | | Uniformalize naming | Aleksey Kladov | 2019-11-22 | 1 | -2/+2 |
|/ | |||||
* | Next gen IDs for functions | Aleksey Kladov | 2019-11-20 | 1 | -1/+9 |
| | | | | | | | | | | | | | | | | | The current system with AstIds has two primaraly drawbacks: * It is possible to manufacture IDs out of thin air. For example, it's possible to create IDs for items which are not considered in CrateDefMap due to cfg. Or it is possible to mixup structs and unions, because they share ID space. * Getting the ID of a parent requires a secondary index. Instead, the plan is to pursue the more traditional approach, where each items stores the id of the parent declaration. This makes `FromSource` more awkward, but also more correct: now, to get from an AST to HIR, we first do this recursively for the parent item, and the just search the children of the parent for the matching def | ||||
* | Allow non-path default type parameters | Aleksey Kladov | 2019-11-20 | 3 | -9/+9 |
| | |||||
* | :arrow_up: rowan | Aleksey Kladov | 2019-11-19 | 3 | -19/+18 |
| | |||||
* | Remove the custom impl of AttrsOwner for ImplItem | DJMcNab | 2019-11-18 | 3 | -12/+4 |
| | | | | | | The default impl should have the same behaviour, and it can be generated by codegen. See also `ModuleItem` and `NominalDef` | ||||
* | Disable doctests | Aleksey Kladov | 2019-11-17 | 1 | -0/+3 |
| | |||||
* | Add ast for plain and raw string literals | Aleksey Kladov | 2019-11-16 | 1 | -10/+85 |
| | |||||
* | Force passing Source when creating a SourceAnalyzer | Aleksey Kladov | 2019-11-15 | 1 | -2/+4 |
| | |||||
* | Attempt to implement typed accessors | Geoffry Song | 2019-11-15 | 4 | -8/+50 |
| | |||||
* | Move inclusive range check to validation | Geoffry Song | 2019-11-15 | 4 | -8/+33 |
| | |||||
* | Fix parsing of "postfix" range expressions. | Geoffry Song | 2019-11-15 | 6 | -0/+118 |
| | | | | | | | | | | Right now they are handled in `postfix_dot_expr`, but that doesn't allow it to correctly handle precedence. Integrate it more tightly with the Pratt parser instead. Also includes a drive-by fix for parsing `match .. {}`. Fixes #2242. | ||||
* | Make make:: builders slightly more convenient | Aleksey Kladov | 2019-11-13 | 2 | -9/+12 |
| | |||||
* | Use strongly-typed ast building for early-return assist | Aleksey Kladov | 2019-11-13 | 1 | -21/+31 |
| | |||||
* | Forbid visibility qualifiers in traits | Aleksey Kladov | 2019-11-11 | 4 | -1/+131 |
| |