Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge #897 | bors[bot] | 2019-02-25 | 1 | -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 inference | Ville Penttinen | 2019-02-25 | 1 | -0/+10 |
| | | |||||
| * | Add const type inference | Ville Penttinen | 2019-02-25 | 1 | -0/+32 |
| | | |||||
* | | rename type to type_alias in the AST as well | Aleksey Kladov | 2019-02-25 | 1 | -1/+4 |
|/ | |||||
* | Rename Type => TypeAlias | Florian Diebold | 2019-02-24 | 1 | -6/+16 |
| | |||||
* | Implement support for type aliases | Florian Diebold | 2019-02-24 | 1 | -0/+17 |
| | |||||
* | Clean up imports a bit | Florian Diebold | 2019-02-24 | 1 | -4/+2 |
| | |||||
* | Split ty.rs into several modules | Florian Diebold | 2019-02-23 | 1 | -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 inference | Florian Diebold | 2019-02-17 | 1 | -3/+7 |
| | |||||
* | Handle impl generics in method calls | Florian Diebold | 2019-02-16 | 1 | -1/+35 |
| | |||||
* | Turn ImplBlock into a copy type just containing IDs | Florian Diebold | 2019-02-16 | 1 | -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 imports | Florian Diebold | 2019-02-13 | 1 | -1/+8 |
| | |||||
* | Fix some typos | Pascal Hertleif | 2019-02-12 | 1 | -3/+3 |
| | |||||
* | Implement glob imports from enums | Florian Diebold | 2019-02-10 | 1 | -2/+2 |
| | |||||
* | Add an ra_cli command that analyses all crates in the current workspace | Florian Diebold | 2019-02-10 | 1 | -2/+32 |
| | | | | ... and prints various stats about how many expressions have a type etc. | ||||
* | reformat the world | Aleksey Kladov | 2019-02-08 | 1 | -58/+13 |
| | |||||
* | Make extern crates in the root module add to the extern prelude | Florian Diebold | 2019-02-04 | 1 | -1/+1 |
| | | | | To accomplish this, separate the extern prelude from the per-module item maps. | ||||
* | Use new Resolver API in type inference | Florian Diebold | 2019-02-01 | 1 | -7/+32 |
| | |||||
* | Implement methods to build a resolver | Florian Diebold | 2019-02-01 | 1 | -2/+20 |
| | |||||
* | Sketching the resolver API | Florian Diebold | 2019-02-01 | 1 | -2/+13 |
| | |||||
* | split HirDatabase api | csmoe | 2019-02-01 | 1 | -24/+27 |
| | |||||
* | Rename FnScopes -> ExprScopes | Florian Diebold | 2019-01-30 | 1 | -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 CrateId | Aleksey Kladov | 2019-01-30 | 1 | -3/+3 |
| | |||||
* | Resolve crate | kjeremy | 2019-01-30 | 1 | -1/+1 |
| | |||||
* | Go to Implementation for structs and enums | Jeremy Kolb | 2019-01-30 | 1 | -2/+16 |
| | |||||
* | Address some issues flagged in review | Marcus Klaas de Vries | 2019-01-27 | 1 | -8/+3 |
| | |||||
* | Add type params to FnSignature | Marcus Klaas de Vries | 2019-01-27 | 1 | -0/+5 |
| | |||||
* | Initial implementation of generics for method calls | Marcus Klaas de Vries | 2019-01-27 | 1 | -0/+4 |
| | |||||
* | First attempt at generic type inference for fns | Marcus Klaas de Vries | 2019-01-27 | 1 | -3/+3 |
| | |||||
* | rename POS_FIELD -> POS_FIELD_DEF | Aleksey Kladov | 2019-01-25 | 1 | -1/+1 |
| | | | | to match NAMED_FIELD_DEF | ||||
* | Add docs to struct fields | Jeremy A. Kolb | 2019-01-25 | 1 | -0/+9 |
| | |||||
* | Merge #646 | bors[bot] | 2019-01-25 | 1 | -0/+7 |
|\ | | | | | | | | | | | | | | | 646: Add module documentation support r=matklad a=kjeremy Co-authored-by: Jeremy A. Kolb <[email protected]> | ||||
| * | Add module documentation support | Jeremy A. Kolb | 2019-01-25 | 1 | -0/+7 |
| | | |||||
* | | add ability to get strcut field source | Aleksey Kladov | 2019-01-25 | 1 | -3/+13 |
|/ | |||||
* | use positional ids for fields | Aleksey Kladov | 2019-01-25 | 1 | -19/+46 |
| | |||||
* | pack enum variants into arena | Aleksey Kladov | 2019-01-25 | 1 | -6/+20 |
| | |||||
* | switch to positional enum variants | Aleksey Kladov | 2019-01-25 | 1 | -6/+7 |
| | |||||
* | simplify | Aleksey Kladov | 2019-01-25 | 1 | -1/+1 |
| | |||||
* | remove useless wrapper | Aleksey Kladov | 2019-01-25 | 1 | -1/+1 |
| | |||||
* | ModuleDef is Def-free | Aleksey Kladov | 2019-01-24 | 1 | -9/+2 |
| | |||||
* | Migrate trait & type to new ids | Aleksey Kladov | 2019-01-24 | 1 | -21/+14 |
| | |||||
* | move consts&statics to new id | Aleksey Kladov | 2019-01-24 | 1 | -19/+19 |
| | |||||
* | generalize boilerplate | Aleksey Kladov | 2019-01-24 | 1 | -17/+20 |
| | |||||
* | adapt ide_api to the new API | Aleksey Kladov | 2019-01-24 | 1 | -1/+0 |
| | |||||
* | move enum variant to the new API | Aleksey Kladov | 2019-01-24 | 1 | -16/+13 |
| | |||||
* | macro-generate froms | Aleksey Kladov | 2019-01-24 | 1 | -24/+1 |
| | |||||
* | kill unused defs | Aleksey Kladov | 2019-01-24 | 1 | -2/+0 |
| | |||||
* | migrate enums to new id | Aleksey Kladov | 2019-01-24 | 1 | -25/+28 |
| | |||||
* | new struct id | Aleksey Kladov | 2019-01-24 | 1 | -13/+20 |
| | |||||
* | Functions use new id scheme | Aleksey Kladov | 2019-01-24 | 1 | -18/+21 |
| |