aboutsummaryrefslogtreecommitdiff
path: root/crates
Commit message (Collapse)AuthorAgeFilesLines
* Test macro diagnostics in body loweringJonas Schievink2020-12-021-0/+41
|
* Merge #6698bors[bot]2020-12-021-2/+5
|\ | | | | | | | | | | | | | | | | | | | | | | 6698: Attach macro expansion errors to the right file r=jonas-schievink a=jonas-schievink Previously it attached them to the result of the macro expansion (or, if no result was produced, to the file containing the invocation). Always use the file containing the invocation. This doesn't seem to have any observable difference, but seems better in theory. bors r+ Co-authored-by: Jonas Schievink <[email protected]>
| * Attach macro expansion errors to the right fileJonas Schievink2020-12-021-2/+5
| |
* | Merge #6649bors[bot]2020-12-021-22/+55
|\ \ | | | | | | | | | | | | | | | | | | | | | 6649: Accept more than just the standard rust literal suffixes in *Number::suffix r=matklad a=Veykril I am not entirely sure whether to keep or remove the `SUFFIXES` but I figured we can always bring them back once they are needed. Co-authored-by: Lukas Wirth <[email protected]>
| * | Add ast::*Number::suffix tests unit testsLukas Wirth2020-11-281-0/+37
| | |
| * | Accept more than just the standard rust literal suffixes in *Number::suffixLukas Wirth2020-11-261-22/+18
| | |
* | | Merge #6673bors[bot]2020-12-021-45/+74
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 6673: Show type of Self on hover r=matklad a=Veykril Co-authored-by: Lukas Wirth <[email protected]>
| * | | Show type of Self on hoverLukas Wirth2020-11-291-45/+74
| | | |
* | | | Merge #6679bors[bot]2020-12-024-82/+74
|\ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 6679: Extract tests module to file in vfs crate r=matklad a=sasurau4 Helps with #6522 - [x] passed `cargo test` Co-authored-by: Daiki Ihara <[email protected]>
| * | | | Extract tests module to file in vfs crateDaiki Ihara2020-11-304-82/+74
| | | | |
* | | | | Merge #6697bors[bot]2020-12-022-1/+22
|\ \ \ \ \ | |_|_|_|/ |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | 6697: Don't discard PathKind::Abs information in lower_use::convert_path r=matklad a=Veykril Fixes #6694 Co-authored-by: Lukas Wirth <[email protected]>
| * | | | Don't discard PathKind::Abs information in lower_use::convert_pathLukas Wirth2020-12-022-1/+22
| | | | |
* | | | | Fix OptionalVersionedTextDocumentIdentifier typekjeremy2020-12-012-2/+2
| | | | | | | | | | | | | | | | | | | | Fixes #6654
* | | | | Merge #6689bors[bot]2020-12-011-4/+31
|\ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 6689: Trigger .let postfix snippet in the middle of the block r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * | | | | Trigger .let postfix snippet in the middle of the blockAleksey Kladov2020-12-011-4/+31
| | | | | |
* | | | | | Merge #6683bors[bot]2020-12-014-28/+88
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 6683: Emit macro diagnostics when lowering bodies r=matklad a=jonas-schievink Changes `Expander::enter_expand` to return an `ExpandResult`, and adds any contained errors to the body diagnostic list. Co-authored-by: Jonas Schievink <[email protected]>
| * | | | | Emit unresolved proc macro errorsJonas Schievink2020-12-012-9/+28
| | | | | |
| * | | | | Emit macro diagnostics when lowering bodiesJonas Schievink2020-11-304-27/+68
| | | | | |
* | | | | | Place cursor correctly when completing assoc fns with selfAleksey Kladov2020-12-014-31/+64
| | | | | |
* | | | | | Fix typoAleksey Kladov2020-12-011-2/+2
| | | | | |
* | | | | | Type-safer API for dealing with parameter lists with optional selfAleksey Kladov2020-12-014-10/+21
|/ / / / /
* | | | | builtin_macro: move to `mbe::ExpandResult`Jonas Schievink2020-11-303-52/+81
| | | | |
* | | | | Merge #6680bors[bot]2020-11-302-2/+11
|\ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 6680: Fix use merging not using the first path segment r=Veykril a=Veykril Finally figured out why nested imports don't properly merge in some cases Co-authored-by: Lukas Wirth <[email protected]>
| * | | | | Fix use merging not using the first path segmentLukas Wirth2020-11-302-2/+11
| |/ / / /
* / / / / bump lexerkjeremy2020-11-301-1/+1
|/ / / /
* | | | Minor cleanupAleksey Kladov2020-11-303-36/+31
| | | |
* | | | Merge #6665bors[bot]2020-11-292-1/+103
|\ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 6665: Support self in reference search r=matklad a=Veykril The approach here is simply checking the descendants of the function body for `PathExpr` then checking whether it only contains a single `self` `PathSegment`, this is to prevent us from picking up `self` tokens from local `UseTree`s. Co-authored-by: Lukas Wirth <[email protected]>
| * | | | Support self in reference searchLukas Wirth2020-11-292-1/+103
| | | | |
* | | | | Merge #6599bors[bot]2020-11-294-10/+23
|\ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 6599: Add attribute highlight modifier to all tokens inside attributes r=matklad a=Veykril This has the side effect that we also emit `attribute.attribute` highlights now, as in, the tokens that get the attribute semantic type also get the attribute modifier. I personally don't think it's really a problem but maybe it is to some? It's just that it was really simple to implement it this way, which is why I just went this route for now. Fixes #6536 Co-authored-by: Lukas Wirth <[email protected]>
| * | | | | Add attribute highlight modifier to all tokens inside attributesLukas Wirth2020-11-214-10/+23
| | | | | |
* | | | | | Merge #6601bors[bot]2020-11-292-0/+61
|\ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 6601: add let and letm postfix to turn expressions into variables r=matklad a=bnjjj Partially resolve #6426 Co-authored-by: Benjamin Coenen <[email protected]>
| * | | | | | add let and letm postfix to turn expressions into variablesBenjamin Coenen2020-11-282-11/+56
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Benjamin Coenen <[email protected]>
| * | | | | | add let and letm postfix to turn expressions into variablesBenjamin Coenen2020-11-211-0/+16
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Benjamin Coenen <[email protected]>
* | | | | | | Reject more cases of invalid parameter to self renamesLukas Wirth2020-11-291-13/+122
| | | | | | |
* | | | | | | Fix renaming owned self to parameter emitting refLukas Wirth2020-11-291-1/+30
| |_|_|_|/ / |/| | | | |
* | | | | | Align default importMergeBehaviour with VSCodeFlorian Diebold2020-11-291-1/+1
| | | | | |
* | | | | | Merge #6666bors[bot]2020-11-291-17/+39
|\ \ \ \ \ \ | |_|_|_|/ / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 6666: Support 'go to definition' for self r=jonas-schievink a=Veykril Also reverts #6660, instead of showing the type it now works like it does for names by returning the declaration we are already on. This for example enables VSCode to show all references(#6665) when executing `go to definition` on the declaration. Co-authored-by: Lukas Wirth <[email protected]>
| * | | | | Support 'go to definition' for selfLukas Wirth2020-11-291-17/+39
| | |_|/ / | |/| | |
* | | | | Merge #6664bors[bot]2020-11-281-3/+43
|\ \ \ \ \ | |/ / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | 6664: Show type of self param on hover r=jonas-schievink a=Veykril Show the type of `self` when hovering the token in a `SelfParam`. Co-authored-by: Lukas Wirth <[email protected]>
| * | | | Show type of self param on hoverLukas Wirth2020-11-281-3/+43
| | | | |
* | | | | Merge #6660bors[bot]2020-11-281-6/+36
|\ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 6660: Support "go to definition" for SelfParams r=jonas-schievink a=Veykril Fixes #6657 Co-authored-by: Lukas Wirth <[email protected]>
| * | | | | Support goto definition for ADT-SelfParamsLukas Wirth2020-11-281-6/+36
| |/ / / /
* | | | | Merge #6659bors[bot]2020-11-281-2/+7
|\ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 6659: Explain how we get precise spans for diagnostics. r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]>
| * | | | | Explain how we get precise spans for diagnostics.Aleksey Kladov2020-11-281-2/+7
| | | | | |
* | | | | | Merge #6645bors[bot]2020-11-289-9/+198
|\ \ \ \ \ \ | |/ / / / / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 6645: Publish diagnostics for macro expansion errors r=matklad a=jonas-schievink This adds 2 new diagnostics, emitted during name resolution: * `unresolved-proc-macro`, a weak warning that is emitted when a proc macro is supposed to be expanded, but was not provided by the build system. This usually means that proc macro support is turned off, but may also indicate setup issues when using rust-project.json. Being a weak warning, this should help set expectations when users see it, while not being too obstructive. We do not yet emit this for attribute macros though, just custom derives and `!` macros. * `macro-error`, which is emitted when any macro (procedural or `macro_rules!`) fails to expand due to some error. This is an error-level diagnostic, but currently still marked as experimental, because there might be spurious errors and this hasn't been tested too well. This does not yet emit diagnostics when expansion in item bodies fails, just for module-level macros. Known bug: The "proc macro not found" diagnostic points at the whole item for custom derives, it should just point at the macro's name in the `#[derive]` list, but I haven't found an easy way to do that. Screenshots: ![screenshot-2020-11-26-19:54:14](https://user-images.githubusercontent.com/1786438/100385782-f8bc2300-3023-11eb-9f27-e8f8ce9d6114.png) ![screenshot-2020-11-26-19:55:39](https://user-images.githubusercontent.com/1786438/100385784-f954b980-3023-11eb-9617-ac2eb0a0a9dc.png) Co-authored-by: Jonas Schievink <[email protected]>
| * | | | | More accurately place proc-macro diagnosticJonas Schievink2020-11-273-8/+48
| | | | | |
| * | | | | Publish diagnostics for macro expansion errorsJonas Schievink2020-11-277-7/+154
| | | | | |
| * | | | | Add dedicated error for "proc macro not found"Jonas Schievink2020-11-272-1/+3
| |/ / / /
* | | | | Merge #6650bors[bot]2020-11-2829-302/+304
|\ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 6650: Make completion and assists module independent r=matklad a=SomeoneToIgnore A follow-up of https://github.com/rust-analyzer/rust-analyzer/pull/6553#discussion_r524402907 Move the common code for both assists and completion modules into a separate crate. Co-authored-by: Kirill Bulatov <[email protected]>
| * | | | | Move the helpers into ide_dbKirill Bulatov2020-11-2826-53/+28
| | | | | |