Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | move crate to code_model_api | Aleksey Kladov | 2019-01-06 | 3 | -21/+34 |
| | |||||
* | Merge #441 | bors[bot] | 2019-01-06 | 20 | -254/+1150 |
|\ | | | | | | | | | | | | | | | 441: hir::Expr r=matklad a=flodiebold Still a bit to do, but I already adapted `FnScopes` and thought I'd get feedback already. Co-authored-by: Florian Diebold <[email protected]> | ||||
| * | Add fn signature query | Florian Diebold | 2019-01-06 | 8 | -7/+86 |
| | | |||||
| * | Various small code review improvements | Florian Diebold | 2019-01-05 | 3 | -26/+27 |
| | | |||||
| * | Make FnScopes use hir::Expr | Florian Diebold | 2019-01-05 | 13 | -313/+533 |
| | | | | | | | | | | | | This was a bit complicated. I've added a wrapper type for now that does the LocalSyntaxPtr <-> ExprId translation; we might want to get rid of that or give it a nicer interface. | ||||
| * | Add HIR Expr machinery | Florian Diebold | 2019-01-05 | 9 | -4/+542 |
| | | |||||
| * | Add test for invalidation of inferred types when typing inside function | Florian Diebold | 2019-01-05 | 2 | -0/+58 |
| | | | | | | | | This currently fails, but should work once we have hir::Expr. | ||||
* | | split_import intention correctly works with use trees | Aleksey Kladov | 2019-01-06 | 1 | -1/+13 |
|/ | |||||
* | fix tests | Aleksey Kladov | 2019-01-05 | 3 | -79/+49 |
| | |||||
* | show types in local variable hovers | Aleksey Kladov | 2019-01-05 | 2 | -10/+27 |
| | |||||
* | kill approximatelly_resolve_symbol | Aleksey Kladov | 2019-01-05 | 4 | -90/+11 |
| | |||||
* | inline goto_defention tests | Aleksey Kladov | 2019-01-05 | 3 | -66/+58 |
| | |||||
* | move goto_defenition to a separate file | Aleksey Kladov | 2019-01-05 | 3 | -11/+91 |
| | |||||
* | introduce separate goto_defenition | Aleksey Kladov | 2019-01-05 | 2 | -3/+9 |
| | |||||
* | kill accidentally added file | Aleksey Kladov | 2019-01-05 | 1 | -73/+0 |
| | |||||
* | move typeof to hover | Aleksey Kladov | 2019-01-05 | 3 | -18/+18 |
| | |||||
* | fold doc_comment into hover | Aleksey Kladov | 2019-01-05 | 3 | -109/+110 |
| | |||||
* | move hover implementation to ra_analysis | Aleksey Kladov | 2019-01-05 | 4 | -67/+83 |
| | |||||
* | wip | Aleksey Kladov | 2019-01-05 | 1 | -0/+26 |
| | |||||
* | Merge #414 | bors[bot] | 2019-01-05 | 1 | -2/+25 |
|\ | | | | | | | | | | | | | | | 414: textDocument/hover returns both type name and doc_text r=matklad a=h-michael implement #389 Co-authored-by: Hirokazu Hata <[email protected]> | ||||
| * | Use both type_of and doc_text_for | Hirokazu Hata | 2019-01-05 | 1 | -14/+25 |
| | | |||||
| * | Return type name when doc_text_for returns nothing | Hirokazu Hata | 2019-01-03 | 1 | -0/+12 |
| | | |||||
* | | change visibility can change pub to pub(crate) | Aleksey Kladov | 2019-01-05 | 2 | -2/+48 |
| | | |||||
* | | split import assist | Aleksey Kladov | 2019-01-05 | 4 | -0/+126 |
| | | |||||
* | | Merge #427 | bors[bot] | 2019-01-05 | 1 | -2/+58 |
|\ \ | | | | | | | | | | | | | | | | | | | | | | 427: Remove extra space when joining lines in use items r=matklad a=alanhdu Fixes #423. Co-authored-by: Alan Du <[email protected]> | ||||
| * | | Fix join_lines use_items right w/ and w/o comma | Alan Du | 2019-01-05 | 1 | -3/+22 |
| | | | |||||
| * | | Address join lines use items right } | Alan Du | 2019-01-05 | 1 | -3/+21 |
| | | | |||||
| * | | Remove extra space when joining lines in use items | Alan Du | 2019-01-04 | 1 | -0/+19 |
| | | | |||||
* | | | Merge #370 | bors[bot] | 2019-01-04 | 26 | -62/+548 |
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 370: Self params & type r=matklad a=flodiebold This implements type inference for `self`, so field completion for methods taking `self` works now. - rename `IMPL_ITEM` to `IMPL_BLOCK` -- rustc calls the methods etc. inside an impl `ImplItem`s, and the impl itself doesn't define an item, so I thought this name was clearer. - add HIR for impl blocks -- we collect all impls in a crate at once, so we can go from methods to containing impls, and since we will later also need to find all impls for a certain type (which may be anywhere in the crate, I think?). We could be more lazy here, but I don't know if it's worth the complexity. - resolve `self` and `Self` during type inference - refactor a bit in ty.rs as well Co-authored-by: Florian Diebold <[email protected]> | ||||
| * | | | Rename ImplsInCrateQuery as well | Florian Diebold | 2019-01-04 | 3 | -3/+3 |
| | | | | |||||
| * | | | Do impl collection per module, not per crate | Florian Diebold | 2019-01-04 | 3 | -33/+32 |
| | | | | |||||
| * | | | Rename ImplBlock::target -> target_type, and add target_trait already | Florian Diebold | 2019-01-04 | 2 | -7/+17 |
| | | | | |||||
| * | | | Rename traits::impl_item -> impl_block as well, as well as the tests | Florian Diebold | 2019-01-04 | 6 | -4/+4 |
| | | | | |||||
| * | | | Add a test for self field completion | Florian Diebold | 2019-01-04 | 3 | -5/+25 |
| | | | | | | | | | | | | | | | | Needed to add a default crate graph in the analysis for that. | ||||
| * | | | Refactor a bit | Florian Diebold | 2019-01-04 | 1 | -58/+62 |
| | | | | |||||
| * | | | Resolve the Self type | Florian Diebold | 2019-01-04 | 3 | -24/+71 |
| | | | | |||||
| * | | | Resolve the self parameter during type inference | Florian Diebold | 2019-01-04 | 3 | -4/+19 |
| | | | | |||||
| * | | | Type the self parameter | Florian Diebold | 2019-01-04 | 6 | -9/+116 |
| | | | | |||||
| * | | | Add HIR for impl blocks | Florian Diebold | 2019-01-04 | 11 | -8/+269 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Since we need to be able to go from def to containing impl block, as well as the other direction, and to find all impls for a certain type, a design similar to the one for modules, where we collect all impls for the whole crate and keep them in an arena, seemed fitting. The ImplBlock type, which provides the public interface, then consists only of an Arc to the arena containing all impls, and the index into it. | ||||
| * | | | Add test for self type inference | Florian Diebold | 2019-01-04 | 2 | -0/+23 |
| | | | | |||||
* | | | | :arrow_up: salsa | Aleksey Kladov | 2019-01-04 | 3 | -3/+3 |
|/ / / | |||||
* / / | Rename ImplItem to ImplBlock | Florian Diebold | 2019-01-04 | 24 | -52/+51 |
|/ / | | | | | | | | | rustc uses the name ImplItem for items in impls, not the impl {} block itself, which could lead to confusion. | ||||
* | | remove id arena | Aleksey Kladov | 2019-01-04 | 7 | -87/+25 |
| | | |||||
* | | extract area to a crate | Aleksey Kladov | 2019-01-04 | 8 | -94/+137 |
| | | |||||
* | | add mod doc comments test in ast | csmoe | 2019-01-04 | 1 | -0/+13 |
| | | |||||
* | | parse doc comment for items | csmoe | 2019-01-04 | 3 | -2/+15 |
| | | |||||
* | | add mod doc comment test | csmoe | 2019-01-04 | 2 | -0/+22 |
| | | |||||
* | | Merge #391 | bors[bot] | 2019-01-04 | 5 | -59/+117 |
|\ \ | | | | | | | | | | | | | | | | | | | | | | 391: docing parser methods r=csmoe a=csmoe Co-authored-by: csmoe <[email protected]> | ||||
| * | | consume trivias for type/const def | csmoe | 2019-01-04 | 1 | -2/+1 |
| | | | |||||
| * | | doc parsing events | csmoe | 2019-01-04 | 4 | -43/+71 |
| | | |