aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/lib.rs
Commit message (Collapse)AuthorAgeFilesLines
...
* 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
|
* move more macros to hirAleksey Kladov2019-01-011-1/+1
|
* use macros database in analysisAleksey Kladov2019-01-011-0/+1
|
* introduce MacrosDatabaseAleksey Kladov2019-01-011-0/+1
|
* introduce known namesAleksey Kladov2018-12-271-1/+1
|
* introduce hir::NameAleksey Kladov2018-12-271-0/+3
|
* Add a hir::TypeRef as an intermediate between ast::TypeRef and ty::TyFlorian Diebold2018-12-251-0/+1
|
* Implement basic completion for fieldsFlorian Diebold2018-12-251-0/+1
|
* Collect field data for structs/enum variantsFlorian Diebold2018-12-251-0/+6
|
* Do name resolution by namespace (types/values)Florian Diebold2018-12-251-11/+14
|
* Add basic HIR and types for structs/enumsFlorian Diebold2018-12-251-2/+16
|
* Resolve paths to defs (functions currently) during type inferenceFlorian Diebold2018-12-231-1/+18
|
* Add beginnings of type infrastructureFlorian Diebold2018-12-231-0/+1
|
* moar iconsAleksey Kladov2018-12-211-1/+1
|
* File module source does not depend on syntaxAleksey Kladov2018-12-181-1/+2
|
* Work around a bugAleksey Kladov2018-12-181-4/+7
| | | | cc #288