Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | more enterprisey diagnostics setup | Aleksey Kladov | 2019-03-25 | 1 | -0/+16 |
| | |||||
* | cleanup | Aleksey Kladov | 2019-03-25 | 1 | -3/+3 |
| | |||||
* | switch modules to new diagnostics | Aleksey Kladov | 2019-03-25 | 1 | -13/+5 |
| | |||||
* | allow dyn diagnostics | Aleksey Kladov | 2019-03-25 | 1 | -3/+5 |
| | |||||
* | diagnostics | Aleksey Kladov | 2019-03-25 | 1 | -0/+5 |
| | |||||
* | remove obsolete diagnostic | Aleksey Kladov | 2019-03-23 | 1 | -1/+0 |
| | |||||
* | rename persistent hir database -> def database | Aleksey Kladov | 2019-03-23 | 1 | -46/+37 |
| | |||||
* | replace todo with fixme | Aleksey Kladov | 2019-03-23 | 1 | -5/+5 |
| | |||||
* | rename ModuleId -> CrateModuleId | Aleksey Kladov | 2019-03-17 | 1 | -2/+2 |
| | |||||
* | Reorganize name resolution | Aleksey Kladov | 2019-03-17 | 1 | -2/+1 |
| | |||||
* | remove lower module | Aleksey Kladov | 2019-03-17 | 1 | -5/+5 |
| | |||||
* | remove ItemMap | Aleksey Kladov | 2019-03-17 | 1 | -3/+3 |
| | |||||
* | Replace module_tree with CrateDefMap | Aleksey Kladov | 2019-03-17 | 1 | -1/+1 |
| | |||||
* | derive Hash for ra_hir::ModuleDef | pcpthm | 2019-03-14 | 1 | -1/+1 |
| | |||||
* | remove Def | Aleksey Kladov | 2019-03-12 | 1 | -5/+0 |
| | |||||
* | align lower module query names | Aleksey Kladov | 2019-03-02 | 1 | -1/+1 |
| | |||||
* | rename scopes | Aleksey Kladov | 2019-03-02 | 1 | -3/+3 |
| | |||||
* | rename to source_map | Aleksey Kladov | 2019-03-02 | 1 | -2/+2 |
| | |||||
* | dont store body inside source map | Aleksey Kladov | 2019-03-02 | 1 | -2/+2 |
| | |||||
* | rename syntax-mapping -> source-map | Aleksey Kladov | 2019-03-02 | 1 | -4/+4 |
| | |||||
* | 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 |