aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/code_model_api.rs
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* Resolve cratekjeremy2019-01-301-1/+1
|
* Go to Implementation for structs and enumsJeremy Kolb2019-01-301-2/+16
|
* Address some issues flagged in reviewMarcus Klaas de Vries2019-01-271-8/+3
|
* Add type params to FnSignatureMarcus Klaas de Vries2019-01-271-0/+5
|
* Initial implementation of generics for method callsMarcus Klaas de Vries2019-01-271-0/+4
|
* First attempt at generic type inference for fnsMarcus Klaas de Vries2019-01-271-3/+3
|
* rename POS_FIELD -> POS_FIELD_DEFAleksey Kladov2019-01-251-1/+1
| | | | to match NAMED_FIELD_DEF
* Add docs to struct fieldsJeremy A. Kolb2019-01-251-0/+9
|
* Merge #646bors[bot]2019-01-251-0/+7
|\ | | | | | | | | | | | | | | 646: Add module documentation support r=matklad a=kjeremy Co-authored-by: Jeremy A. Kolb <[email protected]>
| * Add module documentation supportJeremy A. Kolb2019-01-251-0/+7
| |
* | add ability to get strcut field sourceAleksey Kladov2019-01-251-3/+13
|/
* use positional ids for fieldsAleksey Kladov2019-01-251-19/+46
|
* pack enum variants into arenaAleksey Kladov2019-01-251-6/+20
|
* switch to positional enum variantsAleksey Kladov2019-01-251-6/+7
|
* simplifyAleksey Kladov2019-01-251-1/+1
|
* remove useless wrapperAleksey Kladov2019-01-251-1/+1
|
* ModuleDef is Def-freeAleksey Kladov2019-01-241-9/+2
|
* Migrate trait & type to new idsAleksey Kladov2019-01-241-21/+14
|
* move consts&statics to new idAleksey Kladov2019-01-241-19/+19
|
* generalize boilerplateAleksey Kladov2019-01-241-17/+20
|
* adapt ide_api to the new APIAleksey Kladov2019-01-241-1/+0
|
* move enum variant to the new APIAleksey Kladov2019-01-241-16/+13
|
* macro-generate fromsAleksey Kladov2019-01-241-24/+1
|
* kill unused defsAleksey Kladov2019-01-241-2/+0
|
* migrate enums to new idAleksey Kladov2019-01-241-25/+28
|
* new struct idAleksey Kladov2019-01-241-13/+20
|
* Functions use new id schemeAleksey Kladov2019-01-241-18/+21
|