Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge #1138 | bors[bot] | 2019-04-14 | 13 | -243/+560 |
|\ | | | | | | | | | | | | | | | | | | | | | 1138: Add L_DOLLAR and R_DOLLAR r=matklad a=edwin0cheng As discussion in issue https://github.com/rust-analyzer/rust-analyzer/issues/1132 and PR #1125 , this PR add 2 `Syntax::Kind` : `L_DOLLAR` and `R_DOLLAR` for representing `Delimiter::None` in mbe and proc_marco. By design, It should not affect the final syntax tree, and will be discard in `TreeSink`. My original idea is handling these 2 tokens case by case, but i found that they will appear in every place in the parser (imagine `tt` matcher). So this PR only handle it in `Parser::do_bump` and `Parser::start`, although It will not fix the `expr` matcher executing order problem in original idea. Co-authored-by: Edwin Cheng <[email protected]> | ||||
| * | Fix bug and add expr , pat , ty matcher | Edwin Cheng | 2019-04-14 | 10 | -33/+307 |
| | | |||||
| * | Remove skip Delimiter::None and handle Dollars | Edwin Cheng | 2019-04-12 | 5 | -218/+255 |
| | | |||||
| * | Add L_DOLLAR and R_DOLLAR | Edwin Cheng | 2019-04-11 | 2 | -0/+6 |
| | | |||||
* | | Extract generic_params method to a HasGenericParams trait | Florian Diebold | 2019-04-14 | 7 | -37/+33 |
| | | |||||
* | | Add Container enum to handle both kinds of container (impl/trait) | Florian Diebold | 2019-04-14 | 4 | -17/+58 |
| | | |||||
* | | Make callable signature handling a bit nicer | Florian Diebold | 2019-04-14 | 2 | -47/+36 |
| | | |||||
* | | Some cleanup | Florian Diebold | 2019-04-14 | 3 | -98/+111 |
| | | |||||
* | | More trait infrastructure | Florian Diebold | 2019-04-14 | 11 | -51/+333 |
| | | | | | | | | | | | | | | | | | | | | - make it possible to get parent trait from method - add 'obligation' machinery for checking that a type implements a trait (and inferring facts about type variables from that) - handle type parameters of traits (to a certain degree) - improve the hacky implements check to cover enough cases to exercise the handling of traits with type parameters - basic canonicalization (will probably also be done by Chalk) | ||||
* | | Get substs for trait refs in impl blocks | Florian Diebold | 2019-04-14 | 6 | -44/+85 |
| | | |||||
* | | replace usages of `algo::generate` with `iter::successors` from std | Robin Freyler | 2019-04-13 | 6 | -24/+17 |
| | | |||||
* | | cleanups | Aleksey Kladov | 2019-04-13 | 2 | -13/+12 |
| | | |||||
* | | slight encapsulation | Aleksey Kladov | 2019-04-13 | 2 | -9/+13 |
| | | |||||
* | | move ScopeEntryWithSyntax | Aleksey Kladov | 2019-04-13 | 4 | -37/+34 |
| | | |||||
* | | drop obsolete fixme | Aleksey Kladov | 2019-04-13 | 2 | -5/+4 |
| | | |||||
* | | make expr scope stuff private | Aleksey Kladov | 2019-04-13 | 1 | -11/+9 |
| | | |||||
* | | make resolver private | Aleksey Kladov | 2019-04-13 | 6 | -26/+23 |
| | | |||||
* | | hide resolver | Aleksey Kladov | 2019-04-13 | 4 | -9/+17 |
| | | |||||
* | | fold ScopeWithSyntax into SourceAnalyzer | Aleksey Kladov | 2019-04-13 | 7 | -193/+159 |
| | | |||||
* | | make stuff private | Aleksey Kladov | 2019-04-13 | 1 | -3/+3 |
| | | |||||
* | | obsolete fixm | Aleksey Kladov | 2019-04-13 | 1 | -1/+0 |
| | | |||||
* | | make private | Aleksey Kladov | 2019-04-13 | 1 | -1/+1 |
| | | |||||
* | | only def-with-body remains | Aleksey Kladov | 2019-04-13 | 1 | -13/+3 |
| | | |||||
* | | generalize | Aleksey Kladov | 2019-04-13 | 1 | -15/+7 |
| | | |||||
* | | simplify | Aleksey Kladov | 2019-04-13 | 1 | -10/+5 |
| | | |||||
* | | simplify | Aleksey Kladov | 2019-04-13 | 1 | -7/+1 |
| | | |||||
* | | make private | Aleksey Kladov | 2019-04-13 | 1 | -1/+1 |
| | | |||||
* | | hide some scopes | Aleksey Kladov | 2019-04-13 | 4 | -23/+28 |
| | | |||||
* | | simplify | Aleksey Kladov | 2019-04-12 | 2 | -17/+12 |
| | | |||||
* | | make stuff private | Aleksey Kladov | 2019-04-12 | 1 | -6/+2 |
| | | |||||
* | | simplify | Aleksey Kladov | 2019-04-12 | 1 | -54/+22 |
| | | |||||
* | | simplify tests | Aleksey Kladov | 2019-04-12 | 3 | -36/+23 |
| | | |||||
* | | use really correct resolver for expressions | Aleksey Kladov | 2019-04-12 | 9 | -13/+27 |
| | | |||||
* | | fix typo | Aleksey Kladov | 2019-04-11 | 3 | -6/+6 |
| | | |||||
* | | add todo | Aleksey Kladov | 2019-04-11 | 1 | -0/+1 |
| | | |||||
* | | use correct resolver for expressions | Aleksey Kladov | 2019-04-11 | 1 | -3/+1 |
| | | |||||
* | | remove resolver from CompletonContext | Aleksey Kladov | 2019-04-11 | 5 | -31/+9 |
| | | |||||
* | | simplify | Aleksey Kladov | 2019-04-11 | 1 | -5/+3 |
| | | |||||
* | | generalize SourceAnalyzer to handle all defs with bodies | Aleksey Kladov | 2019-04-11 | 3 | -11/+51 |
| | | |||||
* | | minimize the API | Aleksey Kladov | 2019-04-11 | 2 | -23/+11 |
| | | |||||
* | | rename | Aleksey Kladov | 2019-04-11 | 10 | -18/+18 |
| | | |||||
* | | reduce visibility | Aleksey Kladov | 2019-04-11 | 1 | -3/+3 |
| | | |||||
* | | Make call info to use real name resolution | Aleksey Kladov | 2019-04-11 | 4 | -26/+33 |
| | | |||||
* | | introduce SourceAnalyzer | Aleksey Kladov | 2019-04-11 | 15 | -187/+206 |
| | | |||||
* | | fix typo | Aleksey Kladov | 2019-04-11 | 1 | -6/+6 |
| | | |||||
* | | Merge #1131 | bors[bot] | 2019-04-10 | 10 | -180/+136 |
|\ \ | | | | | | | | | | | | | | | | | | | | | | 1131: Use inline snapshots in complete_dot r=matklad a=vipentti Relates to #1127 Co-authored-by: Ville Penttinen <[email protected]> | ||||
| * | | Use inline snapshots in complete_dot | Ville Penttinen | 2019-04-10 | 10 | -180/+136 |
| | | | |||||
* | | | Use inline snapshots in complete_fn_param | Ville Penttinen | 2019-04-10 | 4 | -72/+58 |
|/ / | |||||
* | | type-safer source-map for bindings | Aleksey Kladov | 2019-04-10 | 7 | -30/+45 |
| | | |||||
* | | use either for uses | Aleksey Kladov | 2019-04-10 | 6 | -44/+40 |
| | |