aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/db.rs
Commit message (Collapse)AuthorAgeFilesLines
* More trait infrastructureFlorian Diebold2019-04-141-2/+5
| | | | | | | | | | - make it possible to get parent trait from method - add 'obligation' machinery for checking that a type implements a trait (and inferring facts about type variables from that) - handle type parameters of traits (to a certain degree) - improve the hacky implements check to cover enough cases to exercise the handling of traits with type parameters - basic canonicalization (will probably also be done by Chalk)
* migrate to salsas interningAleksey Kladov2019-04-091-4/+22
|
* Added const bodies and static body to the astLenard Pratt2019-04-021-1/+1
| | | | | | and added inference the inference test reduce code duplication
* Added defWithBodyLenard Pratt2019-03-301-4/+5
|
* renameAleksey Kladov2019-03-261-5/+5
|
* simplifyAleksey Kladov2019-03-261-1/+1
|
* move source_id to a separate fileAleksey Kladov2019-03-261-2/+2
|
* make macro parsing a queryAleksey Kladov2019-03-261-1/+4
|
* store macro def inside macro idAleksey Kladov2019-03-261-3/+6
| | | | | | | | This solves the problem of "macro expansion can't call into name resolution, because name resolution calls back into macro expansion" Because we store macro def as a part of call id, macro expansion just knows the def!
* Implement a very naive implements checkFlorian Diebold2019-03-251-1/+4
| | | | ... to make the infer_trait_method_simple test have the correct result.
* Basics for trait method resolutionFlorian Diebold2019-03-251-0/+4
|
* rename persistent hir database -> def databaseAleksey Kladov2019-03-231-3/+3
|
* remove old macro supportAleksey Kladov2019-03-171-6/+1
|
* Reorganize name resolutionAleksey Kladov2019-03-171-1/+1
|
* remove lower moduleAleksey Kladov2019-03-171-10/+4
|
* remove ItemMapAleksey Kladov2019-03-171-4/+1
|
* Replace module_tree with CrateDefMapAleksey Kladov2019-03-171-14/+7
|
* Remove FnSig from FnDef typeFlorian Diebold2019-03-161-1/+4
| | | | | It doesn't need to be in there since it's just information from the def. Another step towards aligning Ty with Chalk's representation.
* align lower module query namesAleksey Kladov2019-03-021-7/+7
|
* dont store body inside source mapAleksey Kladov2019-03-021-4/+7
|
* rename syntax-mapping -> source-mapAleksey Kladov2019-03-021-2/+2
|
* Add static type inferenceVille Penttinen2019-02-251-1/+4
|
* Add const type inferenceVille Penttinen2019-02-251-0/+4
|
* Rename Type => TypeAliasFlorian Diebold2019-02-241-3/+5
|
* Implement support for type aliasesFlorian Diebold2019-02-241-1/+4
|
* Handle tuple structs / enum variants properly in type inferenceFlorian Diebold2019-02-171-2/+2
|
* remove query_definitionsAleksey Kladov2019-02-111-3/+2
|
* make HirDatabase object-safeAleksey Kladov2019-02-031-0/+5
|
* split HirDatabase apicsmoe2019-02-011-16/+13
|
* split hirdatabasecsmoe2019-02-011-20/+26
|
* Move expr_scopes query to its moduleFlorian Diebold2019-01-301-1/+1
|
* Rename FnScopes -> ExprScopesFlorian Diebold2019-01-301-3/+3
| | | | | 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.
* Use Crate instead of CrateIdAleksey Kladov2019-01-301-3/+3
|
* move item_map_queryAleksey Kladov2019-01-301-1/+1
|
* Go to Implementation for structs and enumsJeremy Kolb2019-01-301-1/+10
|
* remove Option<SourceFileItemId> hackAleksey Kladov2019-01-261-1/+6
|
* rename source_file -> parseAleksey Kladov2019-01-261-2/+2
|
* rename FilesDatabase -> SourceDatabaseAleksey Kladov2019-01-261-2/+2
|
* fold syntax database into files databaseAleksey Kladov2019-01-261-2/+2
|
* :arrow_up: salsaAleksey Kladov2019-01-251-1/+1
|
* use positional ids for fieldsAleksey Kladov2019-01-251-4/+4
|
* pack enum variants into arenaAleksey Kladov2019-01-251-5/+2
|
* move enum variant to the new APIAleksey Kladov2019-01-241-3/+3
|
* migrate enums to new idAleksey Kladov2019-01-241-3/+3
|
* new struct idAleksey Kladov2019-01-241-3/+4
|
* Functions use new id schemeAleksey Kladov2019-01-241-10/+10
|
* Change ids strategyAleksey Kladov2019-01-241-26/+10
| | | | | | | 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-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
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-02 18:19:35 +0000