aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/lib.rs
Commit message (Collapse)AuthorAgeFilesLines
* Merge #1076bors[bot]2019-04-021-0/+1
|\ | | | | | | | | | | | | | | | | 1076: Const body inference r=flodiebold a=Lapz This is the second part of #887. I've added type inference on const bodies and introduced the DefWithBody containing Function, Const and Static. I want to add tests but im unsure on how I would go about testing that completions work. Co-authored-by: Lenard Pratt <[email protected]>
| * Added const bodies and static body to the astLenard Pratt2019-04-021-1/+0
| | | | | | | | | | | | and added inference the inference test reduce code duplication
| * Added defWithBodyLenard Pratt2019-03-301-0/+2
| |
* | always produce source for importAleksey Kladov2019-04-021-1/+1
|/
* renameAleksey Kladov2019-03-261-1/+1
|
* more type safetyAleksey Kladov2019-03-261-1/+1
|
* add typed idsAleksey Kladov2019-03-261-1/+1
|
* move source_id to a separate fileAleksey Kladov2019-03-261-1/+3
|
* make macro parsing a queryAleksey Kladov2019-03-261-1/+1
|
* Basics for trait method resolutionFlorian Diebold2019-03-251-0/+1
|
* switch modules to new diagnosticsAleksey Kladov2019-03-251-1/+1
|
* diagnosticsAleksey Kladov2019-03-251-0/+1
|
* rename persistent hir database -> def databaseAleksey Kladov2019-03-231-1/+1
|
* TypeName => TypeCtorFlorian Diebold2019-03-211-1/+1
|
* Remove the old variants replaced by Ty::ApplyFlorian Diebold2019-03-211-1/+1
|
* remove old macro supportAleksey Kladov2019-03-171-2/+0
|
* remove ItemMapAleksey Kladov2019-03-171-1/+1
|
* Replace module_tree with CrateDefMapAleksey Kladov2019-03-171-1/+0
|
* Replace Display by a pretty printing trait for TyFlorian Diebold2019-03-161-1/+1
| | | | | This allows removing the names from Adt and FnDef (and more later), as a first step towards aligning more with chalk's Ty :)
* remove DefAleksey Kladov2019-03-121-1/+0
|
* rename scopesAleksey Kladov2019-03-021-1/+1
|
* Add const type inferenceVille Penttinen2019-02-251-1/+1
|
* Rename Type => TypeAliasFlorian Diebold2019-02-241-1/+1
|
* Implement support for type aliasesFlorian Diebold2019-02-241-0/+1
|
* introduce completion presentationAleksey Kladov2019-02-241-1/+1
| | | | | This module should remove completion rendering boilerplate from the "brains" of completion engine.
* Clean up imports a bitFlorian Diebold2019-02-241-2/+2
|
* remove query_definitionsAleksey Kladov2019-02-111-1/+0
|
* add graph fixtureAleksey Kladov2019-02-111-0/+1
|
* move assists to a separate crateAleksey Kladov2019-02-061-2/+1
|
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-01 10:29:00 +0000