aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/code_model_api.rs
Commit message (Collapse)AuthorAgeFilesLines
* Extract generic_params method to a HasGenericParams traitFlorian Diebold2019-04-141-21/+1
|
* Add Container enum to handle both kinds of container (impl/trait)Florian Diebold2019-04-141-8/+43
|
* More trait infrastructureFlorian Diebold2019-04-141-1/+16
| | | | | | | | | | - 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)
* make resolver privateAleksey Kladov2019-04-131-8/+8
|
* fold ScopeWithSyntax into SourceAnalyzerAleksey Kladov2019-04-131-13/+1
|
* simplify testsAleksey Kladov2019-04-121-10/+0
|
* simplifyAleksey Kladov2019-04-111-5/+3
|
* generalize SourceAnalyzer to handle all defs with bodiesAleksey Kladov2019-04-111-0/+8
|
* introduce SourceAnalyzerAleksey Kladov2019-04-111-7/+3
|
* use either for usesAleksey Kladov2019-04-101-3/+9
|
* 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
|