Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add static type inference | Ville Penttinen | 2019-02-25 | 1 | -1/+4 |
| | |||||
* | Add const type inference | Ville Penttinen | 2019-02-25 | 1 | -0/+4 |
| | |||||
* | Rename Type => TypeAlias | Florian Diebold | 2019-02-24 | 1 | -3/+5 |
| | |||||
* | Implement support for type aliases | Florian Diebold | 2019-02-24 | 1 | -1/+4 |
| | |||||
* | Handle tuple structs / enum variants properly in type inference | Florian Diebold | 2019-02-17 | 1 | -2/+2 |
| | |||||
* | remove query_definitions | Aleksey Kladov | 2019-02-11 | 1 | -3/+2 |
| | |||||
* | make HirDatabase object-safe | Aleksey Kladov | 2019-02-03 | 1 | -0/+5 |
| | |||||
* | split HirDatabase api | csmoe | 2019-02-01 | 1 | -16/+13 |
| | |||||
* | split hirdatabase | csmoe | 2019-02-01 | 1 | -20/+26 |
| | |||||
* | Move expr_scopes query to its module | Florian Diebold | 2019-01-30 | 1 | -1/+1 |
| | |||||
* | Rename FnScopes -> ExprScopes | Florian Diebold | 2019-01-30 | 1 | -3/+3 |
| | | | | | 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 |
| | |||||
* | move item_map_query | Aleksey Kladov | 2019-01-30 | 1 | -1/+1 |
| | |||||
* | Go to Implementation for structs and enums | Jeremy Kolb | 2019-01-30 | 1 | -1/+10 |
| | |||||
* | remove Option<SourceFileItemId> hack | Aleksey Kladov | 2019-01-26 | 1 | -1/+6 |
| | |||||
* | rename source_file -> parse | Aleksey Kladov | 2019-01-26 | 1 | -2/+2 |
| | |||||
* | rename FilesDatabase -> SourceDatabase | Aleksey Kladov | 2019-01-26 | 1 | -2/+2 |
| | |||||
* | fold syntax database into files database | Aleksey Kladov | 2019-01-26 | 1 | -2/+2 |
| | |||||
* | :arrow_up: salsa | Aleksey Kladov | 2019-01-25 | 1 | -1/+1 |
| | |||||
* | use positional ids for fields | Aleksey Kladov | 2019-01-25 | 1 | -4/+4 |
| | |||||
* | pack enum variants into arena | Aleksey Kladov | 2019-01-25 | 1 | -5/+2 |
| | |||||
* | move enum variant to the new API | Aleksey Kladov | 2019-01-24 | 1 | -3/+3 |
| | |||||
* | migrate enums to new id | Aleksey Kladov | 2019-01-24 | 1 | -3/+3 |
| | |||||
* | new struct id | Aleksey Kladov | 2019-01-24 | 1 | -3/+4 |
| | |||||
* | Functions use new id scheme | Aleksey Kladov | 2019-01-24 | 1 | -10/+10 |
| | |||||
* | Change ids strategy | Aleksey Kladov | 2019-01-24 | 1 | -26/+10 |
| | | | | | | | this is a part of larghish hir refactoring which aims to * replace per-source-root module trees with per crate trees * switch from a monotyped DedId to type-specific ids | ||||
* | encapsulate hir locations | Aleksey Kladov | 2019-01-24 | 1 | -7/+3 |
| | |||||
* | Generics -> GenericParams | Florian Diebold | 2019-01-19 | 1 | -3/+3 |
| | |||||
* | Implement beginnings of generics | Florian Diebold | 2019-01-19 | 1 | -0/+4 |
| | | | | | | | - add HIR for generic params - resolve generic params in type paths - add substitions for ADTs - insert type variables for substitutions | ||||
* | rename LoweredImport -> ImportId | Aleksey Kladov | 2019-01-19 | 1 | -8/+1 |
| | |||||
* | switched to lowerd module | Aleksey Kladov | 2019-01-19 | 1 | -1/+22 |
| | |||||
* | move input module items to the lower module | Aleksey Kladov | 2019-01-19 | 1 | -2/+2 |
| | |||||
* | :arrow_up: salsa | Aleksey Kladov | 2019-01-17 | 1 | -104/+70 |
| | |||||
* | remove Cancelable from type inference | Aleksey Kladov | 2019-01-15 | 1 | -3/+3 |
| | |||||
* | remove Cancelable from Ty | Aleksey Kladov | 2019-01-15 | 1 | -2/+2 |
| | |||||
* | remove Cancelable from ids | Aleksey Kladov | 2019-01-15 | 1 | -1/+1 |
| | |||||
* | remove Cancelable from nameres | Aleksey Kladov | 2019-01-15 | 1 | -1/+1 |
| | |||||
* | remove Cancelable from fn_scopes | Aleksey Kladov | 2019-01-15 | 1 | -1/+1 |
| | |||||
* | remove Cancelable from funciton body | Aleksey Kladov | 2019-01-15 | 1 | -2/+2 |
| | |||||
* | remove Cancelable from adt API | Aleksey Kladov | 2019-01-15 | 1 | -3/+3 |
| | |||||
* | remove Cancelable from source binders | Aleksey Kladov | 2019-01-15 | 1 | -1/+1 |
| | |||||
* | remove Cancelable from module_tree_query | Aleksey Kladov | 2019-01-15 | 1 | -2/+2 |
| | |||||
* | Small improvements from review comments | Florian Diebold | 2019-01-12 | 1 | -1/+1 |
| | |||||
* | Implement basic inherent method resolution | Florian Diebold | 2019-01-12 | 1 | -2/+7 |
| | |||||
* | rename TreePtr -> TreeArc | Aleksey Kladov | 2019-01-11 | 1 | -3/+3 |
| | | | | This is much clearer about the semantics | ||||
* | Implement type inference for enum variants | Marcus Klaas de Vries | 2019-01-10 | 1 | -1/+6 |
| | |||||
* | Fix typos in ARCHITECTURE.md and a number of crates | Marcus Klaas de Vries | 2019-01-09 | 1 | -0/+3 |
| | | | | specifically: gen_lsp_server, ra_arena, ra_cli, ra_db, ra_hir | ||||
* | move function to code_model_api | Aleksey Kladov | 2019-01-08 | 1 | -1/+1 |
| | |||||
* | move query impls to adt | Aleksey Kladov | 2019-01-08 | 1 | -2/+2 |
| | |||||
* | migrate ra_hir to rowan 2.0 | Aleksey Kladov | 2019-01-08 | 1 | -3/+3 |
| |