Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Add const type inference | Ville Penttinen | 2019-02-25 | 1 | -1/+1 | |
| | ||||||
* | Rename Type => TypeAlias | Florian Diebold | 2019-02-24 | 1 | -1/+1 | |
| | ||||||
* | Implement support for type aliases | Florian Diebold | 2019-02-24 | 1 | -0/+1 | |
| | ||||||
* | introduce completion presentation | Aleksey Kladov | 2019-02-24 | 1 | -1/+1 | |
| | | | | | This module should remove completion rendering boilerplate from the "brains" of completion engine. | |||||
* | Clean up imports a bit | Florian Diebold | 2019-02-24 | 1 | -2/+2 | |
| | ||||||
* | remove query_definitions | Aleksey Kladov | 2019-02-11 | 1 | -1/+0 | |
| | ||||||
* | add graph fixture | Aleksey Kladov | 2019-02-11 | 1 | -0/+1 | |
| | ||||||
* | move assists to a separate crate | Aleksey Kladov | 2019-02-06 | 1 | -2/+1 | |
| | ||||||
* | Use new Resolver API in type inference | Florian Diebold | 2019-02-01 | 1 | -2/+2 | |
| | ||||||
* | Sketching the resolver API | Florian Diebold | 2019-02-01 | 1 | -0/+2 | |
| | ||||||
* | split HirDatabase api | csmoe | 2019-02-01 | 1 | -1/+1 | |
| | ||||||
* | Rename FnScopes -> ExprScopes | Florian Diebold | 2019-01-30 | 1 | -1/+1 | |
| | | | | | The reason for this is that it describes scopes for any body expression, not just that of a function. It did not actually refer to functions at all anymore. | |||||
* | add ability to get strcut field source | Aleksey Kladov | 2019-01-25 | 1 | -1/+1 | |
| | ||||||
* | move adt to adt | Aleksey Kladov | 2019-01-24 | 1 | -2/+3 | |
| | ||||||
* | Kill DefId | Aleksey Kladov | 2019-01-24 | 1 | -1/+1 | |
| | ||||||
* | kill DefKindc | Aleksey Kladov | 2019-01-24 | 1 | -1/+1 | |
| | ||||||
* | macro-generate froms | Aleksey Kladov | 2019-01-24 | 1 | -0/+12 | |
| | ||||||
* | new struct id | Aleksey Kladov | 2019-01-24 | 1 | -1/+1 | |
| | ||||||
* | Change ids strategy | Aleksey Kladov | 2019-01-24 | 1 | -1/+1 | |
| | | | | | | | this is a part of larghish hir refactoring which aims to * replace per-source-root module trees with per crate trees * switch from a monotyped DedId to type-specific ids | |||||
* | encapsulate hir locations | Aleksey Kladov | 2019-01-24 | 1 | -1/+1 | |
| | ||||||
* | Add way of getting docs from the code model and use for completion | Jeremy A. Kolb | 2019-01-23 | 1 | -0/+2 | |
| | ||||||
* | move completion item tests closer to the code | Aleksey Kladov | 2019-01-23 | 1 | -2/+3 | |
| | | | | | this is the reason why we need marks: the tests were spread across two files, because I've forgotten that there were tests already | |||||
* | generalize marking infrastructure | Aleksey Kladov | 2019-01-23 | 1 | -1/+1 | |
| | ||||||
* | Implement beginnings of generics | Florian Diebold | 2019-01-19 | 1 | -0/+1 | |
| | | | | | | | - add HIR for generic params - resolve generic params in type paths - add substitions for ADTs - insert type variables for substitutions | |||||
* | Move pattern type inference from adt::StructField to core_model_impl (WIP) | Marcus Klaas de Vries | 2019-01-19 | 1 | -0/+1 | |
| | ||||||
* | rename LoweredImport -> ImportId | Aleksey Kladov | 2019-01-19 | 1 | -1/+1 | |
| | ||||||
* | remove Cancelable from type inference | Aleksey Kladov | 2019-01-15 | 1 | -9/+0 | |
| | ||||||
* | actually produce missing def kinds | Aleksey Kladov | 2019-01-11 | 1 | -0/+2 | |
| | ||||||
* | envapsulate navigation target better | Aleksey Kladov | 2019-01-11 | 1 | -1/+1 | |
| | ||||||
* | Merge #470 | bors[bot] | 2019-01-10 | 1 | -1/+1 | |
|\ | | | | | | | | | | | | | | | | | | | 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]> | |||||
| * | Implement type inference for enum variants | Marcus Klaas de Vries | 2019-01-10 | 1 | -1/+1 | |
| | | ||||||
* | | introduce marking infrastructure for maintainable tests | Aleksey Kladov | 2019-01-10 | 1 | -0/+2 | |
|/ | | | | This also fixes a particular edge case in name resolution. | |||||
* | show field types in completion | Aleksey Kladov | 2019-01-09 | 1 | -1/+1 | |
| | ||||||
* | Fix typos in ARCHITECTURE.md and a number of crates | Marcus Klaas de Vries | 2019-01-09 | 1 | -3/+3 | |
| | | | | specifically: gen_lsp_server, ra_arena, ra_cli, ra_db, ra_hir | |||||
* | move function to code_model_api | Aleksey Kladov | 2019-01-08 | 1 | -10/+3 | |
| | ||||||
* | remove FnSignatureInfo from hir | Aleksey Kladov | 2019-01-08 | 1 | -2/+0 | |
| | ||||||
* | dont reexport module id | Aleksey Kladov | 2019-01-08 | 1 | -1/+0 | |
| | ||||||
* | move variants to API | Aleksey Kladov | 2019-01-08 | 1 | -1/+1 | |
| | ||||||
* | move enum to code_model_api | Aleksey Kladov | 2019-01-08 | 1 | -2/+1 | |
| | ||||||
* | move stuct to code_model_api | Aleksey Kladov | 2019-01-08 | 1 | -1/+2 | |
| | ||||||
* | fix after rebase | Aleksey Kladov | 2019-01-06 | 1 | -1/+2 | |
| | ||||||
* | flatten module structure | Aleksey Kladov | 2019-01-06 | 1 | -4/+7 | |
| | ||||||
* | kill old module | Aleksey Kladov | 2019-01-06 | 1 | -0/+2 | |
| | ||||||
* | move crate to code_model_api | Aleksey Kladov | 2019-01-06 | 1 | -3/+4 | |
| | ||||||
* | Add fn signature query | Florian Diebold | 2019-01-06 | 1 | -1/+1 | |
| | ||||||
* | Make FnScopes use hir::Expr | Florian Diebold | 2019-01-05 | 1 | -1/+1 | |
| | | | | | | 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/+1 | |
| | ||||||
* | Add HIR for impl blocks | Florian Diebold | 2019-01-04 | 1 | -0/+2 | |
| | | | | | | | | | 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. | |||||
* | remove id arena | Aleksey Kladov | 2019-01-04 | 1 | -1/+0 | |
| | ||||||
* | comments | Aleksey Kladov | 2019-01-02 | 1 | -0/+1 | |
| |