Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Use HIR Expr for type inference | Florian Diebold | 2019-01-06 | 2 | -6/+17 |
| | | | | | Now we can reuse the type inference inside a function when typing whitespace etc. :) | ||||
* | Show types when hovering patterns as well | Florian Diebold | 2019-01-06 | 1 | -4/+15 |
| | |||||
* | kill module source | Aleksey Kladov | 2019-01-06 | 1 | -1/+1 |
| | |||||
* | adjust comments | Aleksey Kladov | 2019-01-06 | 1 | -0/+1 |
| | |||||
* | fix ra_analysis to work with the new API | Aleksey Kladov | 2019-01-06 | 4 | -7/+12 |
| | |||||
* | split module source into decl/defin | Aleksey Kladov | 2019-01-06 | 2 | -4/+4 |
| | |||||
* | fix tests | Aleksey Kladov | 2019-01-06 | 1 | -16/+13 |
| | |||||
* | Add fn signature query | Florian Diebold | 2019-01-06 | 1 | -0/+1 |
| | |||||
* | Make FnScopes use hir::Expr | Florian Diebold | 2019-01-05 | 3 | -9/+6 |
| | | | | | | 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 | 1 | -0/+2 |
| | |||||
* | 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 | 1 | -0/+7 |
| | |||||
* | 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 | 3 | -26/+74 |
| | |||||
* | wip | Aleksey Kladov | 2019-01-05 | 1 | -0/+26 |
| | |||||
* | split import assist | Aleksey Kladov | 2019-01-05 | 1 | -0/+73 |
| | |||||
* | Merge #370 | bors[bot] | 2019-01-04 | 4 | -5/+26 |
|\ | | | | | | | | | | | | | | | | | | | | | | | | | 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 | 1 | -1/+1 |
| | | |||||
| * | 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. | ||||
| * | Add HIR for impl blocks | Florian Diebold | 2019-01-04 | 1 | -0/+1 |
| | | | | | | | | | | | | | | | | | | 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. | ||||
* | | :arrow_up: salsa | Aleksey Kladov | 2019-01-04 | 1 | -1/+1 |
|/ | |||||
* | parse doc comment for items | csmoe | 2019-01-04 | 2 | -2/+3 |
| | |||||
* | index stuff produced by macros | Aleksey Kladov | 2019-01-03 | 2 | -11/+37 |
| | |||||
* | construct index from symbols directly | Aleksey Kladov | 2019-01-03 | 2 | -13/+17 |
| | |||||
* | don't create many compilation units for tests | Aleksey Kladov | 2019-01-03 | 3 | -13/+5 |
| | |||||
* | embed file_id into FileSymbol | Aleksey Kladov | 2019-01-03 | 3 | -35/+34 |
| | |||||
* | fix the test | Aleksey Kladov | 2019-01-03 | 1 | -1/+1 |
| | |||||
* | more enterprisey assists API | Aleksey Kladov | 2019-01-03 | 1 | -13/+3 |
| | |||||
* | split assists over several files | Aleksey Kladov | 2019-01-03 | 1 | -1/+1 |
| | |||||
* | rename code-actions -> assists | Aleksey Kladov | 2019-01-03 | 1 | -6/+6 |
| | |||||
* | hardcode vec macro | Aleksey Kladov | 2019-01-03 | 1 | -1/+9 |
| | |||||
* | Merge #409 | bors[bot] | 2019-01-03 | 1 | -0/+79 |
|\ | | | | | | | | | | | | | | | 409: Add Analysis#teype_of test r=matklad a=h-michael Co-authored-by: Hirokazu Hata <[email protected]> | ||||
| * | Deive type_of test from tests | Hirokazu Hata | 2019-01-03 | 2 | -17/+80 |
| | | |||||
| * | Remove unnecessary mock functions | Hirokazu Hata | 2019-01-03 | 1 | -27/+1 |
| | | |||||
| * | Add Analysis#teype_of test | Hirokazu Hata | 2019-01-03 | 2 | -2/+44 |
| | | |||||
* | | docs | Aleksey Kladov | 2019-01-03 | 2 | -3/+33 |
| | | |||||
* | | use LocalPtr in navigation target | Aleksey Kladov | 2019-01-03 | 3 | -6/+12 |
| | | |||||
* | | use LocalSyntaxPtr for file symbol | Aleksey Kladov | 2019-01-03 | 3 | -53/+49 |
| | | |||||
* | | move some logic to navigation target | Aleksey Kladov | 2019-01-03 | 3 | -113/+127 |
| | | |||||
* | | explain that completion shouldn't do filtering | Aleksey Kladov | 2019-01-03 | 1 | -1/+15 |
|/ | |||||
* | simplify runnables | Aleksey Kladov | 2019-01-02 | 5 | -123/+63 |
| | |||||
* | fix compilation | Aleksey Kladov | 2019-01-02 | 2 | -2/+2 |
| | |||||
* | doctrings | Aleksey Kladov | 2019-01-02 | 1 | -28/+62 |
| | |||||
* | get rid of AnalysisImpl | Aleksey Kladov | 2019-01-02 | 2 | -101/+80 |
| |