aboutsummaryrefslogtreecommitdiff
path: root/crates
Commit message (Collapse)AuthorAgeFilesLines
...
* | | Merge #1606bors[bot]2019-07-293-47/+311
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1606: Add `if let`, `while let` and match arm inlay hints r=matklad a=SomeoneToIgnore <img width="693" alt="image" src="https://user-images.githubusercontent.com/2690773/62013363-152f1d80-b19a-11e9-90ea-07568757baa2.png"> Add more inline hints support. Looks like `while let` type inference support is missing currently, so the corresponding hint tests lack the actual results. I've also could not find a good way to distinguish between `a` and `b` pats in the following expressions: `if let Some(Test { a: None, b: y }) = &test {};` In this case we don't need to add a hint for first pat (`a: None`), since it's matched against the particular enum variant and need a hint for `y`, since it's a new variable. But both `a` and `b` are `BIND_PAT` with similar contents, so looks like there's nothing I can check for to find any differences. I don't display any hints for such cases now, to avoid confusion, but would be nice to know if there's a way to fix this behavior. Co-authored-by: Kirill Bulatov <[email protected]>
| * | Support destructuring patternsKirill Bulatov2019-07-283-47/+311
| | |
* | | Fixed request changes.Alexander Andreev2019-07-291-9/+19
| | |
* | | Added resolve modules inside inline moduleAlexander Andreev2019-07-292-54/+147
|/ / | | | | | | #1510
* | it's a good idea to build extension before installing itAleksey Kladov2019-07-271-1/+7
| |
* | Overhaul installation processAleksey Kladov2019-07-272-44/+114
| | | | | | | | | | | | | | The new commands are $ cargo install-ra --client-code $ cargo install-ra --server --jemalloc
* | Improve inlay hinting for typesKirill Bulatov2019-07-263-61/+125
| | | | | | | | | | | | Add hints for types in for loop expressions. Resolve types for every tuple parameter. Refactor the code.
* | Make Analysis api cancellableKirill Bulatov2019-07-258-87/+107
| |
* | move syntax tests to unit testsAleksey Kladov2019-07-24511-12/+11
| |
* | Merge #1584bors[bot]2019-07-243-526/+88
|\ \ | | | | | | | | | | | | | | | | | | | | | 1584: switch to upstream unescape r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | switch to upstream unescapeAleksey Kladov2019-07-243-526/+88
| | |
* | | Merge #1583bors[bot]2019-07-241-1/+1
|\| | | | | | | | | | | | | | | | | | | | | | | 1583: :arrow_up: rowan r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | :arrow_up: rowanAleksey Kladov2019-07-241-1/+1
| |/
* | Merge #1573bors[bot]2019-07-243-6/+69
|\ \ | |/ |/| | | | | | | | | | | 1573: fix: parse box syntax inside parentheses r=matklad a=csmoe r? @matklad Co-authored-by: csmoe <[email protected]>
| * fix: parse box syntax inside parenthesescsmoe2019-07-223-6/+69
| |
* | show local variable types in completionEkaterina Babshukova2019-07-236-9/+30
| |
* | Merge #1549bors[bot]2019-07-235-1/+237
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1549: Show type lenses for the resolved let bindings r=matklad a=SomeoneToIgnore Types that are fully unresolved are not displayed: <img width="279" alt="image" src="https://user-images.githubusercontent.com/2690773/61518122-8e4ba980-aa11-11e9-9249-6d9f9b202e6a.png"> A few concerns that I have about the current implementation: * I've adjusted the `file_structure` API method to return the information about the `let` bindings. Although it works fine, I have a feeling that adding a new API method would be the better way. But this requires some prior discussion, so I've decided to go for an easy way with an MVP. Would be nice to hear your suggestions. * There's a hardcoded `{undersolved}` check that I was forced to use, since the method that resolves types returns a `String`. Is there a better typed API I can use? This will help, for instance, to add an action to the type lenses that will allow us to navigate to the type. Co-authored-by: Kirill Bulatov <[email protected]>
| * | Code review fixesKirill Bulatov2019-07-224-30/+70
| | |
| * | Use SmolStr for the type textKirill Bulatov2019-07-211-3/+6
| | |
| * | Fix the string conversionsKirill Bulatov2019-07-211-2/+2
| | |
| * | Merge branch 'master' into add-type-lensesKirill Bulatov2019-07-2134-793/+372
| |\|
| * | Do not show the lens with type hintsKirill Bulatov2019-07-211-13/+4
| | |
| * | Resolve types on the serverKirill Bulatov2019-07-213-79/+84
| | |
| * | Code review fixesKirill Bulatov2019-07-213-69/+62
| | |
| * | Refactor server apiKirill Bulatov2019-07-205-55/+222
| | |
| * | Fix tuple type lens resolutionKirill Bulatov2019-07-201-3/+4
| | |
| * | Do not show a lens when the type is declared explicitlyKirill Bulatov2019-07-201-0/+4
| | |
| * | Fix rebase issueKirill Bulatov2019-07-201-1/+1
| | |
| * | If possible, show type lenses for the let bindingsKirill Bulatov2019-07-202-16/+48
| | |
* | | flexi_logger 0.14kjeremy2019-07-223-3/+3
| | |
* | | kill old lexerAleksey Kladov2019-07-226-571/+17
| | |
* | | add rustc_lexerAleksey Kladov2019-07-227-25/+149
| |/ |/|
* | Merge #1570bors[bot]2019-07-2128-772/+238
|\ \ | | | | | | | | | | | | | | | | | | | | | 1570: switch to upstream rowan's API r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | simiplifyAleksey Kladov2019-07-212-11/+10
| | |
| * | streamline APIAleksey Kladov2019-07-2110-37/+33
| | |
| * | minor, move typeAleksey Kladov2019-07-213-12/+13
| | |
| * | switch to upstream rowan's APIAleksey Kladov2019-07-2021-725/+195
| |/
* / provide completion in struct patternsEkaterina Babshukova2019-07-217-21/+134
|/
* Merge #1566bors[bot]2019-07-209-24/+18
|\ | | | | | | | | | | | | | | 1566: align SyntaxText API with upstream r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * align SyntaxText API with upstreamAleksey Kladov2019-07-209-24/+18
| |
* | Merge #1562bors[bot]2019-07-206-1/+121
|\ \ | |/ |/| | | | | | | | | | | | | 1562: Continue support for .await r=matklad a=unrealhoang - add await expr to ast and HIR Expr - infer type for `.await` Co-authored-by: Unreal Hoang <[email protected]>
| * infer type for awaitUnreal Hoang2019-07-203-2/+78
| | | | | | | | by projecting inner_ty to Future::Output alias
| * add await expr to astUnreal Hoang2019-07-204-1/+45
| |
* | Merge #1560bors[bot]2019-07-2057-241/+260
|\ \ | |/ |/| | | | | | | | | | | 1560: move debug_dump to fmt::Debug r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * rename range -> text_rangeAleksey Kladov2019-07-2054-192/+219
| |
| * move debug_dump to fmt::DebugAleksey Kladov2019-07-2010-50/+42
| |
* | add await to syntax, parser for await_exprUnreal Hoang2019-07-205-0/+93
|/
* remove lifetime from syntax node textAleksey Kladov2019-07-193-14/+15
|
* sane indexing in textAleksey Kladov2019-07-192-11/+13
|
* flip syntax text to use internal iterationAleksey Kladov2019-07-194-38/+78
|