aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
| * | Fix typoVeetaha2020-04-201-1/+1
| | | | | | | | | Co-Authored-By: Laurențiu Nicola <[email protected]>
| * | Display path not debug itVeetaha2020-04-202-8/+8
| | | | | | | | | | | | Co-Authored-By: Laurențiu Nicola <[email protected]>
| * | Display path not debug itVeetaha2020-04-201-1/+1
| | | | | | | | | Co-Authored-By: Laurențiu Nicola <[email protected]>
| * | ra_proc_macro: cleanups here and thereveetaha2020-04-2012-190/+141
| | |
* | | Merge #4060bors[bot]2020-04-206-35/+170
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 4060: Update Chalk, and cache Chalk env elaboration through a query r=matklad a=flodiebold This should fix some of the worst performance problems. Co-authored-by: Florian Diebold <[email protected]>
| * | | Update Chalk, and cache Chalk env elaboration through a queryFlorian Diebold2020-04-206-35/+170
|/ / / | | | | | | | | | This should fix some of the worst performance problems.
* | | Merge #4057bors[bot]2020-04-203-4/+17
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 4057: Fix panic in split_imports assist r=matklad a=matklad The fix is admittedly quit literally just papering over. Long-term, I see two more principled approaches: * we switch to a fully tree-based impl, without parse . to_string step; with this approach, there shouldn't be any panics. The results might be nonsensical, but so was the original input. * we preserve the invariant that re-parsing constructed node is an identity, and make all the `make_xxx` method return an `Option`. closes #4044 bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * | | Fix panic in split_imports assistAleksey Kladov2020-04-203-4/+17
|/ / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The fix is admittedly quit literally just papering over. Long-term, I see two more principled approaches: * we switch to a fully tree-based impl, without parse . to_string step; with this approach, there shouldn't be any panics. The results might be nonsensical, but so was the original input. * we preserve the invariant that re-parsing constructed node is an identity, and make all the `make_xxx` method return an `Option`. closes #4044
* | | Merge #4047bors[bot]2020-04-1911-19/+16
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 4047: Some clippy fixes r=matklad a=kjeremy Mostly removes redundant `clone` and `into` Co-authored-by: Jeremy Kolb <[email protected]>
| * | | Some clippy fixesJeremy Kolb2020-04-1911-19/+16
|/ / /
* | | Merge #4045bors[bot]2020-04-191-2/+2
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | | | | | | | 4045: Update regex r=kjeremy a=kjeremy Changelog says it reduces unnecessary recompilation of transitive dependencies in some cases. https://github.com/rust-lang/regex/pull/665 Co-authored-by: Jeremy Kolb <[email protected]>
| * | Update regexJeremy Kolb2020-04-191-2/+2
|/ /
* | Merge #4036bors[bot]2020-04-189-6/+87
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 4036: Fix a bunch of unresovled references r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * | Correctly infer types in guard expressionsAleksey Kladov2020-04-182-0/+30
| | | | | | | | | | | | | | | | | | | | | The root cause was that we forgot to add bindings from the arm to the guard expression closes #3980
| * | Fix goto definition for record patternsAleksey Kladov2020-04-187-6/+57
| | |
* | | Merge #4035bors[bot]2020-04-185-14/+47
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 4035: Convert bool to ident instead of literal in mbe r=matklad a=edwin0cheng Fixed #1249 Currently we treat boolean literal as `tt::Literal` , which makes parsing $lit:lit matcher easily. However, proc-macro2 treat boolean literal as `ident` : https://github.com/alexcrichton/proc-macro2/blob/4173a21dc497c67326095e438ff989cc63cd9279/src/lib.rs#L939 OT: I am quite happy we finally need to fix this bug :) Co-authored-by: Edwin Cheng <[email protected]>
| * | | Convert bool to ident instead of literal in mbeEdwin Cheng2020-04-185-14/+47
| | |/ | |/|
* | | Merge #4034bors[bot]2020-04-187-21/+34
|\ \ \ | |/ / |/| / | |/ | | | | | | | | | | | | | | | | | | | | | | 4034: Add semantic tag for unresolved references r=matklad a=matklad This is a quick way to implement unresolved reference diagnostics. For example, adding to VS Code config "editor.tokenColorCustomizationsExperimental": { "unresolvedReference": "#FF0000" }, will highlight all unresolved refs in red. Co-authored-by: Aleksey Kladov <[email protected]>
| * Add semantic tag for unresolved referencesAleksey Kladov2020-04-187-21/+34
| | | | | | | | | | | | | | | | | | | | | | This is a quick way to implement unresolved reference diagnostics. For example, adding to VS Code config "editor.tokenColorCustomizationsExperimental": { "unresolvedReference": "#FF0000" }, will highlight all unresolved refs in red.
* | Merge #4032bors[bot]2020-04-181-0/+27
|\ \ | |/ |/| | | | | | | | | | | 4032: Add mbe lifetime split test r=matklad a=edwin0cheng Co-authored-by: Edwin Cheng <[email protected]>
| * Add mbe lifetime split testEdwin Cheng2020-04-181-0/+27
| |
* | Merge #4033bors[bot]2020-04-181-6/+6
|\ \ | | | | | | | | | | | | | | | | | | | | | 4033: Refactor codegen r=matklad a=Veetaha Co-authored-by: veetaha <[email protected]>
| * | Refucktor codegenveetaha2020-04-181-6/+6
| |/
* | Merge #3894bors[bot]2020-04-182-41/+331
|\ \ | |/ |/| | | | | | | | | | | | | | | 3894: Match check enum record r=flodiebold a=JoshMcguigan This PR implements match statement exhaustiveness checking for record type enums. It also make a minor addition to the test infrastructure to allow testing against a single diagnostic, so you can be sure your test is triggering (or not) whichever diagnostic you expect. Co-authored-by: Josh Mcguigan <[email protected]>
| * missing match arm diagnostic support enum record typeJosh Mcguigan2020-04-182-41/+331
| |
* | Merge #4029bors[bot]2020-04-187-17/+117
|\ \ | |/ |/| | | | | | | | | | | | | | | | | | | | | 4029: Fix various proc-macro bugs r=matklad a=edwin0cheng This PRs does the following things: 1. Fixed #4001 by splitting `LIFETIME` lexer token to two mbe tokens. It is because rustc token stream expects `LIFETIME` as a combination of punct and ident, but RA `tt:TokenTree` treats it as a single `Ident` previously. 2. Fixed #4003, by skipping `proc-macro` for completion. It is because currently we don't have `AstNode` for `proc-macro`. We would need to redesign how to implement `HasSource` for `proc-macro`. 3. Fixed a bug how empty `TokenStream` merging in `proc-macro-srv` such that no L_DOLLAR and R_DOLLAR will be emitted accidentally. Co-authored-by: Edwin Cheng <[email protected]>
| * Merge empty delim subtree in proc-macroEdwin Cheng2020-04-182-3/+11
| |
| * Split LIFETIME to two tokens in mbeEdwin Cheng2020-04-183-14/+89
| |
| * Ignore proc-macro in completionEdwin Cheng2020-04-182-0/+17
| |
* | Merge #4027bors[bot]2020-04-182-25/+50
|\ \ | | | | | | | | | | | | | | | | | | | | | 4027: find_path: Builtins are always in scope r=matklad a=flodiebold Fixes #3977. Co-authored-by: Florian Diebold <[email protected]>
| * | find_path: Builtins are always in scopeFlorian Diebold2020-04-182-25/+50
|/ / | | | | | | Fixes #3977.
* | Merge #4026bors[bot]2020-04-181-1/+10
|\ \ | | | | | | | | | | | | | | | | | | | | | 4026: Omit more parameter hints in the presence of underscores r=matklad a=lnicola Fixes #4017. Co-authored-by: Laurențiu Nicola <[email protected]>
| * | Omit more parameter hints in the presence of underscoresLaurențiu Nicola2020-04-181-1/+10
| |/
* | Merge #4023bors[bot]2020-04-184-27/+92
|\ \ | | | | | | | | | | | | | | | | | | | | | 4023: Fix another crash from wrong binders r=matklad a=flodiebold Basically, if we had something like `dyn Trait<T>` (where `T` is a type parameter) in an impl we lowered that to `dyn Trait<^0.0>`, when it should be `dyn Trait<^1.0>` because the `dyn` introduces a new binder. With one type parameter, that's just wrong, with two, it'll lead to crashes. Co-authored-by: Florian Diebold <[email protected]>
| * | Fix another crash from wrong bindersFlorian Diebold2020-04-174-27/+92
| | | | | | | | | | | | | | | | | | | | | Basically, if we had something like `dyn Trait<T>` (where `T` is a type parameter) in an impl we lowered that to `dyn Trait<^0.0>`, when it should be `dyn Trait<^1.0>` because the `dyn` introduces a new binder. With one type parameter, that's just wrong, with two, it'll lead to crashes.
* | | Merge #4022bors[bot]2020-04-172-1/+14
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 4022: Fix incorrect order of syntax highlight ranges r=ltentrup a=ltentrup A fix for the bug #4013 which is caused by a difference between tree traversal order and text representation order. In the case of #4013, the attributes of a macro were visited after the macro definition which caused the syntax highlight ranges to be in wrong order. The fix is to sort the ranges before returning. Co-authored-by: Leander Tentrup <[email protected]>
| * | | Fix incorrect order of syntax highlight rangesLeander Tentrup2020-04-172-1/+14
|/ / /
* | | Merge #4021bors[bot]2020-04-173-5/+65
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 4021: Fix type equality for dyn Trait r=matklad a=flodiebold Fixes a lot of false type mismatches. (And as always when touching the unification code, I have to say I'm looking forward to replacing it by Chalk's...) Co-authored-by: Florian Diebold <[email protected]>
| * | | Fix type equality for dyn TraitFlorian Diebold2020-04-173-5/+65
|/ / / | | | | | | | | | | | | | | | | | | Fixes a lot of false type mismatches. (And as always when touching the unification code, I have to say I'm looking forward to replacing it by Chalk's...)
* | | Merge #4019bors[bot]2020-04-171-0/+174
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 4019: Add two more tests for associated types r=matklad a=flodiebold Co-authored-by: Florian Diebold <[email protected]>
| * | | Add two more tests for associated typesFlorian Diebold2020-04-171-0/+174
|/ / /
* | | Merge #4016bors[bot]2020-04-171-47/+52
|\ \ \ | |_|/ |/| | | | | | | | | | | | | | | | | | | | | | | | | | 4016: Don't use SyntaxNodePtr::range when determining scope for offset r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * | Don't use SyntaxNodePtr::range when determining scope for offsetAleksey Kladov2020-04-171-47/+52
|/ /
* | Merge #4012bors[bot]2020-04-172-3/+59
|\ \ | | | | | | | | | | | | | | | | | | | | | 4012: fix panic on ellipsis in pattern r=flodiebold a=JoshMcguigan fixes #3999 Co-authored-by: Josh Mcguigan <[email protected]>
| * | fix panic on ellipsis in patternJosh Mcguigan2020-04-172-3/+59
| | |
* | | Merge #4011bors[bot]2020-04-172-1/+40
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 4011: Don\t suggest import itself as a completion for import r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * | | Don\t suggest import itself as a completion for importAleksey Kladov2020-04-172-1/+40
|/ / /
* | | Merge #4010bors[bot]2020-04-178-17/+83
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 4010: Fix handling of ranges in diagnostics r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * | | Simplify Diagnostic structureAleksey Kladov2020-04-176-51/+8
| | | | | | | | | | | | | | | | | | | | | | | | It's not entirely clear what subnode ranges should mean in the presence of macros, so let's leave them out for now. We are not using them heavily anyway.
| * | | Correctly highlight ranges of diagnostics from macrosAleksey Kladov2020-04-175-21/+89
| | | | | | | | | | | | | | | | closes #2799
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-27 20:16:54 +0000