Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | ra_db is independent from editor | Aleksey Kladov | 2019-01-08 | 2 | -10/+26 |
| | |||||
* | move node at offset to aglo already | Aleksey Kladov | 2019-01-08 | 5 | -9/+9 |
| | |||||
* | dont depend on ra_editor directly | Aleksey Kladov | 2019-01-08 | 1 | -1/+4 |
| | |||||
* | simplify | Aleksey Kladov | 2019-01-08 | 1 | -33/+33 |
| | |||||
* | simplify | Aleksey Kladov | 2019-01-08 | 1 | -43/+37 |
| | |||||
* | kill FnSignatureInfo | Aleksey Kladov | 2019-01-08 | 1 | -35/+11 |
| | |||||
* | remove FnSignatureInfo from hir | Aleksey Kladov | 2019-01-08 | 2 | -11/+112 |
| | |||||
* | move tests | Aleksey Kladov | 2019-01-08 | 2 | -260/+250 |
| | |||||
* | introduce CallInfo | Aleksey Kladov | 2019-01-08 | 2 | -6/+22 |
| | |||||
* | move call-info to a separate file | Aleksey Kladov | 2019-01-08 | 3 | -118/+130 |
| | |||||
* | use real signature in completion | Aleksey Kladov | 2019-01-08 | 1 | -6/+4 |
| | |||||
* | itroduce trait for ast tokens | Aleksey Kladov | 2019-01-08 | 2 | -2/+2 |
| | |||||
* | migrate ra_analysis to new rowan | Aleksey Kladov | 2019-01-08 | 11 | -76/+65 |
| | |||||
* | Implement autoderef for field accesses | Florian Diebold | 2019-01-07 | 1 | -19/+38 |
| | |||||
* | Merge #442 | bors[bot] | 2019-01-07 | 1 | -13/+17 |
|\ | | | | | | | | | | | | | | | | | | | | | | | 442: WIP: indent on typing dot r=matklad a=simonvandel Fixes #439. The unit test passes, but I can't seem to make VS code perform the action. The existing action on "=" doesn't work either on my end either though. I didn't add any smart way of detecting the current indent level. Any ideas how I would do that? Co-authored-by: Simon Vandel Sillesen <[email protected]> | ||||
| * | indent on typing dot. fixes #439 | Simon Vandel Sillesen | 2019-01-05 | 1 | -13/+17 |
| | | |||||
* | | Improve types for node_expr / node_pat | Florian Diebold | 2019-01-06 | 2 | -10/+6 |
| | | |||||
* | | 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 |
| |