aboutsummaryrefslogtreecommitdiff
path: root/crates
Commit message (Collapse)AuthorAgeFilesLines
* Merge #1138bors[bot]2019-04-1413-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 matcherEdwin Cheng2019-04-1410-33/+307
| |
| * Remove skip Delimiter::None and handle DollarsEdwin Cheng2019-04-125-218/+255
| |
| * Add L_DOLLAR and R_DOLLAREdwin Cheng2019-04-112-0/+6
| |
* | Extract generic_params method to a HasGenericParams traitFlorian Diebold2019-04-147-37/+33
| |
* | Add Container enum to handle both kinds of container (impl/trait)Florian Diebold2019-04-144-17/+58
| |
* | Make callable signature handling a bit nicerFlorian Diebold2019-04-142-47/+36
| |
* | Some cleanupFlorian Diebold2019-04-143-98/+111
| |
* | More trait infrastructureFlorian Diebold2019-04-1411-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 blocksFlorian Diebold2019-04-146-44/+85
| |
* | replace usages of `algo::generate` with `iter::successors` from stdRobin Freyler2019-04-136-24/+17
| |
* | cleanupsAleksey Kladov2019-04-132-13/+12
| |
* | slight encapsulationAleksey Kladov2019-04-132-9/+13
| |
* | move ScopeEntryWithSyntaxAleksey Kladov2019-04-134-37/+34
| |
* | drop obsolete fixmeAleksey Kladov2019-04-132-5/+4
| |
* | make expr scope stuff privateAleksey Kladov2019-04-131-11/+9
| |
* | make resolver privateAleksey Kladov2019-04-136-26/+23
| |
* | hide resolverAleksey Kladov2019-04-134-9/+17
| |
* | fold ScopeWithSyntax into SourceAnalyzerAleksey Kladov2019-04-137-193/+159
| |
* | make stuff privateAleksey Kladov2019-04-131-3/+3
| |
* | obsolete fixmAleksey Kladov2019-04-131-1/+0
| |
* | make privateAleksey Kladov2019-04-131-1/+1
| |
* | only def-with-body remainsAleksey Kladov2019-04-131-13/+3
| |
* | generalizeAleksey Kladov2019-04-131-15/+7
| |
* | simplifyAleksey Kladov2019-04-131-10/+5
| |
* | simplifyAleksey Kladov2019-04-131-7/+1
| |
* | make privateAleksey Kladov2019-04-131-1/+1
| |
* | hide some scopesAleksey Kladov2019-04-134-23/+28
| |
* | simplifyAleksey Kladov2019-04-122-17/+12
| |
* | make stuff privateAleksey Kladov2019-04-121-6/+2
| |
* | simplifyAleksey Kladov2019-04-121-54/+22
| |
* | simplify testsAleksey Kladov2019-04-123-36/+23
| |
* | use really correct resolver for expressionsAleksey Kladov2019-04-129-13/+27
| |
* | fix typoAleksey Kladov2019-04-113-6/+6
| |
* | add todoAleksey Kladov2019-04-111-0/+1
| |
* | use correct resolver for expressionsAleksey Kladov2019-04-111-3/+1
| |
* | remove resolver from CompletonContextAleksey Kladov2019-04-115-31/+9
| |
* | simplifyAleksey Kladov2019-04-111-5/+3
| |
* | generalize SourceAnalyzer to handle all defs with bodiesAleksey Kladov2019-04-113-11/+51
| |
* | minimize the APIAleksey Kladov2019-04-112-23/+11
| |
* | renameAleksey Kladov2019-04-1110-18/+18
| |
* | reduce visibilityAleksey Kladov2019-04-111-3/+3
| |
* | Make call info to use real name resolutionAleksey Kladov2019-04-114-26/+33
| |
* | introduce SourceAnalyzerAleksey Kladov2019-04-1115-187/+206
| |
* | fix typoAleksey Kladov2019-04-111-6/+6
| |
* | Merge #1131bors[bot]2019-04-1010-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_dotVille Penttinen2019-04-1010-180/+136
| | |
* | | Use inline snapshots in complete_fn_paramVille Penttinen2019-04-104-72/+58
|/ /
* | type-safer source-map for bindingsAleksey Kladov2019-04-107-30/+45
| |
* | use either for usesAleksey Kladov2019-04-106-44/+40
| |