aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/db.rs
Commit message (Collapse)AuthorAgeFilesLines
...
* encapsulate hir locationsAleksey Kladov2019-01-241-7/+3
|
* Generics -> GenericParamsFlorian Diebold2019-01-191-3/+3
|
* Implement beginnings of genericsFlorian Diebold2019-01-191-0/+4
| | | | | | | - add HIR for generic params - resolve generic params in type paths - add substitions for ADTs - insert type variables for substitutions
* rename LoweredImport -> ImportIdAleksey Kladov2019-01-191-8/+1
|
* switched to lowerd moduleAleksey Kladov2019-01-191-1/+22
|
* move input module items to the lower moduleAleksey Kladov2019-01-191-2/+2
|
* :arrow_up: salsaAleksey Kladov2019-01-171-104/+70
|
* remove Cancelable from type inferenceAleksey Kladov2019-01-151-3/+3
|
* remove Cancelable from TyAleksey Kladov2019-01-151-2/+2
|
* remove Cancelable from idsAleksey Kladov2019-01-151-1/+1
|
* remove Cancelable from nameresAleksey Kladov2019-01-151-1/+1
|
* remove Cancelable from fn_scopesAleksey Kladov2019-01-151-1/+1
|
* remove Cancelable from funciton bodyAleksey Kladov2019-01-151-2/+2
|
* remove Cancelable from adt APIAleksey Kladov2019-01-151-3/+3
|
* remove Cancelable from source bindersAleksey Kladov2019-01-151-1/+1
|
* remove Cancelable from module_tree_queryAleksey Kladov2019-01-151-2/+2
|
* Small improvements from review commentsFlorian Diebold2019-01-121-1/+1
|
* Implement basic inherent method resolutionFlorian Diebold2019-01-121-2/+7
|
* rename TreePtr -> TreeArcAleksey Kladov2019-01-111-3/+3
| | | | This is much clearer about the semantics
* Implement type inference for enum variantsMarcus Klaas de Vries2019-01-101-1/+6
|
* Fix typos in ARCHITECTURE.md and a number of cratesMarcus Klaas de Vries2019-01-091-0/+3
| | | | specifically: gen_lsp_server, ra_arena, ra_cli, ra_db, ra_hir
* move function to code_model_apiAleksey Kladov2019-01-081-1/+1
|
* move query impls to adtAleksey Kladov2019-01-081-2/+2
|
* migrate ra_hir to rowan 2.0Aleksey Kladov2019-01-081-3/+3
|
* Implement autoderef for field accessesFlorian Diebold2019-01-071-1/+1
|
* kill module sourceAleksey Kladov2019-01-061-2/+2
|
* move submodule computationt to module_treeAleksey Kladov2019-01-061-1/+1
|
* flatten module structureAleksey Kladov2019-01-061-4/+4
|
* Add fn signature queryFlorian Diebold2019-01-061-1/+6
|
* 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/+10
|
* Rename ImplsInCrateQuery as wellFlorian Diebold2019-01-041-1/+1
|
* Do impl collection per module, not per crateFlorian Diebold2019-01-041-4/+4
|
* Add HIR for impl blocksFlorian Diebold2019-01-041-1/+7
| | | | | | | | | 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.
* renameAleksey Kladov2019-01-021-1/+1
|
* move macro id to idsAleksey Kladov2019-01-011-2/+2
|
* rename MFileId -> HirFileIdAleksey Kladov2019-01-011-5/+5
|
* fix testsAleksey Kladov2019-01-011-1/+1
|
* use MFileAleksey Kladov2019-01-011-3/+7
|
* fix testsAleksey Kladov2019-01-011-1/+1
|
* renameAleksey Kladov2019-01-011-4/+4
|
* move more macros to hirAleksey Kladov2019-01-011-0/+7
|
* Add more docs in ty.rsFlorian Diebold2018-12-291-3/+3
| | | | | Also get rid of the indirection through query_definitions for the type-related queries.
* nameify structs&enumsAleksey Kladov2018-12-281-6/+3
|
* remove FnIdAleksey Kladov2018-12-271-8/+2
|
* Resolve field types lazilyFlorian Diebold2018-12-251-0/+6
| | | | I.e. not already when getting the HIR for the struct.
* Add basic HIR and types for structs/enumsFlorian Diebold2018-12-251-0/+11
|
* Resolve paths to defs (functions currently) during type inferenceFlorian Diebold2018-12-231-2/+7
|
* Add beginnings of type infrastructureFlorian Diebold2018-12-231-0/+6
|
* Gc syntax trees after every modificationAleksey Kladov2018-12-181-4/+0
|