aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/lib.rs
Commit message (Collapse)AuthorAgeFilesLines
...
* Use new Resolver API in type inferenceFlorian Diebold2019-02-011-2/+2
|
* Sketching the resolver APIFlorian Diebold2019-02-011-0/+2
|
* split HirDatabase apicsmoe2019-02-011-1/+1
|
* Rename FnScopes -> ExprScopesFlorian Diebold2019-01-301-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 sourceAleksey Kladov2019-01-251-1/+1
|
* move adt to adtAleksey Kladov2019-01-241-2/+3
|
* Kill DefIdAleksey Kladov2019-01-241-1/+1
|
* kill DefKindcAleksey Kladov2019-01-241-1/+1
|
* macro-generate fromsAleksey Kladov2019-01-241-0/+12
|
* new struct idAleksey Kladov2019-01-241-1/+1
|
* Change ids strategyAleksey Kladov2019-01-241-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 locationsAleksey Kladov2019-01-241-1/+1
|
* Add way of getting docs from the code model and use for completionJeremy A. Kolb2019-01-231-0/+2
|
* move completion item tests closer to the codeAleksey Kladov2019-01-231-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 infrastructureAleksey Kladov2019-01-231-1/+1
|
* Implement beginnings of genericsFlorian Diebold2019-01-191-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 Vries2019-01-191-0/+1
|
* rename LoweredImport -> ImportIdAleksey Kladov2019-01-191-1/+1
|
* remove Cancelable from type inferenceAleksey Kladov2019-01-151-9/+0
|
* actually produce missing def kindsAleksey Kladov2019-01-111-0/+2
|
* envapsulate navigation target betterAleksey Kladov2019-01-111-1/+1
|
* Merge #470bors[bot]2019-01-101-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 variantsMarcus Klaas de Vries2019-01-101-1/+1
| |
* | introduce marking infrastructure for maintainable testsAleksey Kladov2019-01-101-0/+2
|/ | | | This also fixes a particular edge case in name resolution.
* show field types in completionAleksey Kladov2019-01-091-1/+1
|
* Fix typos in ARCHITECTURE.md and a number of cratesMarcus Klaas de Vries2019-01-091-3/+3
| | | | specifically: gen_lsp_server, ra_arena, ra_cli, ra_db, ra_hir
* move function to code_model_apiAleksey Kladov2019-01-081-10/+3
|
* remove FnSignatureInfo from hirAleksey Kladov2019-01-081-2/+0
|
* dont reexport module idAleksey Kladov2019-01-081-1/+0
|
* move variants to APIAleksey Kladov2019-01-081-1/+1
|
* move enum to code_model_apiAleksey Kladov2019-01-081-2/+1
|
* move stuct to code_model_apiAleksey Kladov2019-01-081-1/+2
|
* fix after rebaseAleksey Kladov2019-01-061-1/+2
|
* flatten module structureAleksey Kladov2019-01-061-4/+7
|
* kill old moduleAleksey Kladov2019-01-061-0/+2
|
* move crate to code_model_apiAleksey Kladov2019-01-061-3/+4
|
* Add fn signature queryFlorian Diebold2019-01-061-1/+1
|
* Make FnScopes use hir::ExprFlorian Diebold2019-01-051-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 machineryFlorian Diebold2019-01-051-0/+1
|
* Add HIR for impl blocksFlorian Diebold2019-01-041-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 arenaAleksey Kladov2019-01-041-1/+0
|
* commentsAleksey Kladov2019-01-021-0/+1
|
* move macro id to idsAleksey Kladov2019-01-011-2/+2
|
* move more stuff to idsAleksey Kladov2019-01-011-176/+2
|
* rename MFileId -> HirFileIdAleksey Kladov2019-01-011-8/+8
|
* introduce ids moduleAleksey Kladov2019-01-011-14/+2
|
* use MFileAleksey Kladov2019-01-011-7/+14
|
* introduce MFileIdAleksey Kladov2019-01-011-0/+7
|
* save top-level macros in module itemsAleksey Kladov2019-01-011-4/+16
|
* renameAleksey Kladov2019-01-011-1/+1
|