aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/code_model_api.rs
Commit message (Collapse)AuthorAgeFilesLines
* Merge #1076bors[bot]2019-04-021-5/+60
|\ | | | | | | | | | | | | | | | | 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-52/+35
| | | | | | | | | | | | and added inference the inference test reduce code duplication
| * Added defWithBodyLenard Pratt2019-03-301-6/+78
| |
* | always produce source for importAleksey Kladov2019-04-021-2/+2
| |
* | fix a panic with glob-import missing a source mapAleksey Kladov2019-04-021-5/+1
|/
* reduce visibilityAleksey Kladov2019-03-261-2/+2
|
* Basics for trait method resolutionFlorian Diebold2019-03-251-0/+13
|
* more enterprisey diagnostics setupAleksey Kladov2019-03-251-0/+16
|
* cleanupAleksey Kladov2019-03-251-3/+3
|
* switch modules to new diagnosticsAleksey Kladov2019-03-251-13/+5
|
* allow dyn diagnosticsAleksey Kladov2019-03-251-3/+5
|
* diagnosticsAleksey Kladov2019-03-251-0/+5
|
* remove obsolete diagnosticAleksey Kladov2019-03-231-1/+0
|
* rename persistent hir database -> def databaseAleksey Kladov2019-03-231-46/+37
|
* replace todo with fixmeAleksey Kladov2019-03-231-5/+5
|
* rename ModuleId -> CrateModuleIdAleksey Kladov2019-03-171-2/+2
|
* Reorganize name resolutionAleksey Kladov2019-03-171-2/+1
|
* remove lower moduleAleksey Kladov2019-03-171-5/+5
|
* remove ItemMapAleksey Kladov2019-03-171-3/+3
|
* Replace module_tree with CrateDefMapAleksey Kladov2019-03-171-1/+1
|
* derive Hash for ra_hir::ModuleDefpcpthm2019-03-141-1/+1
|
* remove DefAleksey Kladov2019-03-121-5/+0
|
* align lower module query namesAleksey Kladov2019-03-021-1/+1
|
* rename scopesAleksey Kladov2019-03-021-3/+3
|
* rename to source_mapAleksey Kladov2019-03-021-2/+2
|
* dont store body inside source mapAleksey Kladov2019-03-021-2/+2
|
* rename syntax-mapping -> source-mapAleksey Kladov2019-03-021-4/+4
|
* Merge #897bors[bot]2019-02-251-0/+42
|\ | | | | | | | | | | | | | | | | | | 897: Add basic const/static type inference r=flodiebold a=vipentti This adds basic const/static type inference discussed in #887. Currently the inference does not work for const/static declared inside a block. In addition the inference does not work inside the bodies of const/static. Co-authored-by: Ville Penttinen <[email protected]>
| * Add static type inferenceVille Penttinen2019-02-251-0/+10
| |
| * Add const type inferenceVille Penttinen2019-02-251-0/+32
| |
* | rename type to type_alias in the AST as wellAleksey Kladov2019-02-251-1/+4
|/
* Rename Type => TypeAliasFlorian Diebold2019-02-241-6/+16
|
* Implement support for type aliasesFlorian Diebold2019-02-241-0/+17
|
* Clean up imports a bitFlorian Diebold2019-02-241-4/+2
|
* Split ty.rs into several modulesFlorian Diebold2019-02-231-0/+4
| | | | | | | | | It was just getting too big. We now have: - ty: the `Ty` enum and helpers - ty::infer: actual type inference - ty::lower: lowering from HIR to `Ty` - ty::op: helpers for binary operations, currently
* Handle tuple structs / enum variants properly in type inferenceFlorian Diebold2019-02-171-3/+7
|
* Handle impl generics in method callsFlorian Diebold2019-02-161-1/+35
|
* Turn ImplBlock into a copy type just containing IDsFlorian Diebold2019-02-161-10/+5
| | | | | | | This makes it more like the other code model types. Also make Module::definition_source/declaration_source return HirFileIds, to make them more like the other source functions.
* Resolve 2015 style importsFlorian Diebold2019-02-131-1/+8
|
* Fix some typosPascal Hertleif2019-02-121-3/+3
|
* Implement glob imports from enumsFlorian Diebold2019-02-101-2/+2
|
* Add an ra_cli command that analyses all crates in the current workspaceFlorian Diebold2019-02-101-2/+32
| | | | ... and prints various stats about how many expressions have a type etc.
* reformat the worldAleksey Kladov2019-02-081-58/+13
|
* Make extern crates in the root module add to the extern preludeFlorian Diebold2019-02-041-1/+1
| | | | To accomplish this, separate the extern prelude from the per-module item maps.
* Use new Resolver API in type inferenceFlorian Diebold2019-02-011-7/+32
|
* Implement methods to build a resolverFlorian Diebold2019-02-011-2/+20
|
* Sketching the resolver APIFlorian Diebold2019-02-011-2/+13
|
* split HirDatabase apicsmoe2019-02-011-24/+27
|
* Rename FnScopes -> ExprScopesFlorian Diebold2019-01-301-2/+2
| | | | | 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
|