Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Merge #505 | bors[bot] | 2019-01-12 | 16 | -47/+398 | |
|\ | | | | | | | | | | | | | | | | | | | 505: Inherent methods r=matklad a=flodiebold This adds resolution, type checking and completion for inherent methods. The main open question here is the caching, I think. I'm not sure whether we should be caching method resolutions in a more fine grained way (currently we just build a hash map of types -> impl blocks, and iterate through all potential impl blocks when looking for a method). Co-authored-by: Florian Diebold <[email protected]> | |||||
| * | args -> params | Florian Diebold | 2019-01-12 | 8 | -37/+37 | |
| | | ||||||
| * | Small improvements from review comments | Florian Diebold | 2019-01-12 | 3 | -20/+20 | |
| | | ||||||
| * | Complete inherent methods | Florian Diebold | 2019-01-12 | 3 | -4/+63 | |
| | | ||||||
| * | Implement basic inherent method resolution | Florian Diebold | 2019-01-12 | 11 | -17/+309 | |
| | | ||||||
* | | Merge #500 | bors[bot] | 2019-01-12 | 6 | -99/+154 | |
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 500: Code lens support for running tests r=matklad a=kjeremy Supports running individual and mod tests. I feel like this kind of abuses the `Runnables` infrastructure but it works. Maybe later on down the line we should introduce a struct that is really just a tuple of binary, arguments, and environment and pass that back to the client instead. `run_single.ts` is just a paired down version of `runnables.ts` and there is duplication because I think run_single will probably change independent of runnables. Co-authored-by: Jeremy A. Kolb <[email protected]> Co-authored-by: Jeremy Kolb <[email protected]> | |||||
| * | | Move `CargoTargetSpec` and friends to cargo_target_spec module | Jeremy Kolb | 2019-01-12 | 3 | -90/+102 | |
| | | | ||||||
| * | | Code lens support for running tests | Jeremy A. Kolb | 2019-01-11 | 4 | -85/+128 | |
| | | | ||||||
* | | | Merge #507 | bors[bot] | 2019-01-12 | 3 | -0/+53 | |
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 507: Fix handling of attributes in positional field lists r=matklad a=DJMcNab First reported by @max-frai. This allows us to properly handle crates using e.g. `#[Derive(fail)]` with `#[fail(cause)]`, among other cases. Co-authored-by: DJMcNab <[email protected]> | |||||
| * | | | Fix handling of attributes in positional field lists | DJMcNab | 2019-01-12 | 3 | -0/+53 | |
| | |/ | |/| | ||||||
* / | | Use --force when installing the VSIX. | DJMcNab | 2019-01-12 | 1 | -2/+2 | |
|/ / | ||||||
* | | Switch hover to use MarkupContent | Jeremy Kolb | 2019-01-12 | 1 | -2/+5 | |
| | | | | | | | | MarkedString is deprecated | |||||
* | | Fix assertion error in unification (hopefully) | Florian Diebold | 2019-01-11 | 3 | -7/+50 | |
| | | | | | | | | | | | | | | Currently, all types that we handle during inference need to be resolved as far as possible at the time. It's maybe too brittle of an invariant; I need to think how we can do this better. This should fix #484 though, I hope (if it's the same case as I managed to reproduce). | |||||
* | | warn louder on mising sysroot | Aleksey Kladov | 2019-01-11 | 2 | -1/+9 | |
|/ | ||||||
* | actually produce missing def kinds | Aleksey Kladov | 2019-01-11 | 7 | -8/+122 | |
| | ||||||
* | uncopypaste def sources | Aleksey Kladov | 2019-01-11 | 3 | -40/+26 | |
| | ||||||
* | add missing def kinds | Aleksey Kladov | 2019-01-11 | 1 | -0/+20 | |
| | ||||||
* | rename TreePtr -> TreeArc | Aleksey Kladov | 2019-01-11 | 24 | -194/+194 | |
| | | | | This is much clearer about the semantics | |||||
* | Merge #496 | bors[bot] | 2019-01-11 | 12 | -248/+294 | |
|\ | | | | | | | | | | | | | | | 496: Include two element ranges into the nav. r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | |||||
| * | kill NavTarget ptr | Aleksey Kladov | 2019-01-11 | 1 | -6/+2 | |
| | | ||||||
| * | fix tests | Aleksey Kladov | 2019-01-11 | 8 | -98/+108 | |
| | | ||||||
| * | use location link in goto def | Aleksey Kladov | 2019-01-11 | 2 | -12/+25 | |
| | | ||||||
| * | return ref ranges from gotodef | Aleksey Kladov | 2019-01-11 | 4 | -10/+24 | |
| | | ||||||
| * | envapsulate navigation target better | Aleksey Kladov | 2019-01-11 | 8 | -96/+102 | |
| | | ||||||
| * | simplify | Aleksey Kladov | 2019-01-11 | 1 | -5/+2 | |
| | | ||||||
| * | reshuffle nones | Aleksey Kladov | 2019-01-11 | 1 | -21/+10 | |
| | | ||||||
| * | refactor nav target | Aleksey Kladov | 2019-01-11 | 1 | -20/+29 | |
| | | ||||||
| * | Make from_syntax private | Aleksey Kladov | 2019-01-11 | 2 | -14/+11 | |
| | | ||||||
| * | move nav to a separate file | Aleksey Kladov | 2019-01-11 | 2 | -73/+88 | |
| | | ||||||
| * | group feature modules | Aleksey Kladov | 2019-01-11 | 1 | -3/+3 | |
| | | ||||||
* | | prioritize event handing over indexing | Aleksey Kladov | 2019-01-11 | 1 | -4/+15 | |
|/ | | | | | | If we index gazillion libraries simultaneously, we fill the threadpool and so the main loop fails to turn, although there isn't really any significant blocking inside the loop itself. | |||||
* | fine grained on typed tests | Aleksey Kladov | 2019-01-11 | 1 | -43/+48 | |
| | ||||||
* | fix on-type offset | Aleksey Kladov | 2019-01-11 | 1 | -26/+21 | |
| | ||||||
* | make on dot typed actually work | Aleksey Kladov | 2019-01-11 | 3 | -125/+121 | |
| | ||||||
* | force serde in ra_syntax | Aleksey Kladov | 2019-01-11 | 3 | -6/+22 | |
| | ||||||
* | minor | Aleksey Kladov | 2019-01-10 | 2 | -6/+2 | |
| | ||||||
* | wire sysroot into crate graph | Aleksey Kladov | 2019-01-10 | 4 | -37/+95 | |
| | ||||||
* | special case std | Aleksey Kladov | 2019-01-10 | 1 | -2/+6 | |
| | ||||||
* | use arena for sysroot | Aleksey Kladov | 2019-01-10 | 2 | -50/+90 | |
| | ||||||
* | split module | Aleksey Kladov | 2019-01-10 | 3 | -241/+261 | |
| | ||||||
* | add sysroot boilerplate | Aleksey Kladov | 2019-01-10 | 6 | -32/+157 | |
| | ||||||
* | Merge #490 | bors[bot] | 2019-01-10 | 2 | -3/+0 | |
|\ | | | | | | | | | | | | | | | 490: dont depend on tools from lsp-server r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | |||||
| * | dont depend on tools from lsp-server | Aleksey Kladov | 2019-01-10 | 2 | -3/+0 | |
| | | ||||||
* | | Use name resolution for goto definition | Florian Diebold | 2019-01-10 | 7 | -16/+179 | |
| | | ||||||
* | | Merge #470 | bors[bot] | 2019-01-10 | 12 | -46/+205 | |
|\ \ | |/ |/| | | | | | | | | | | | | | | | 470: Type inference for enum variants r=flodiebold a=marcusklaas Opened a new PR instead of https://github.com/rust-analyzer/rust-analyzer/pull/461. Totally botched that one. I think I resolved all the issues mentioned there. Co-authored-by: Marcus Klaas de Vries <[email protected]> | |||||
| * | Save variant names in EnumData to reduce needless queries | Marcus Klaas de Vries | 2019-01-10 | 4 | -39/+25 | |
| | | | | | | | | | | | | We already have their names when anyway, and when in all (current) situations where we're interested in an Enum's variants, we want their names. | |||||
| * | Implement type inference for enum variants | Marcus Klaas de Vries | 2019-01-10 | 12 | -45/+218 | |
| | | ||||||
* | | Merge #488 | bors[bot] | 2019-01-10 | 2 | -30/+27 | |
|\ \ | | | | | | | | | | | | | | | | | | | | | | 488: switch CargoWorkspace to arena r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | |||||
| * | | switch CargoWorkspace to arena | Aleksey Kladov | 2019-01-10 | 2 | -30/+27 | |
| | | | ||||||
* | | | dont complete () if they are already there | Aleksey Kladov | 2019-01-10 | 4 | -6/+26 | |
| | | |