Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 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 | |
| | ||||||
* | Implement autoderef for field accesses | Florian Diebold | 2019-01-07 | 1 | -1/+1 | |
| | ||||||
* | kill module source | Aleksey Kladov | 2019-01-06 | 1 | -2/+2 | |
| | ||||||
* | move submodule computationt to module_tree | Aleksey Kladov | 2019-01-06 | 1 | -1/+1 | |
| | ||||||
* | flatten module structure | Aleksey Kladov | 2019-01-06 | 1 | -4/+4 | |
| | ||||||
* | Add fn signature query | Florian Diebold | 2019-01-06 | 1 | -1/+6 | |
| | ||||||
* | Make FnScopes use hir::Expr | Florian Diebold | 2019-01-05 | 1 | -1/+1 | |
| | | | | | | This was a bit complicated. I've added a wrapper type for now that does the LocalSyntaxPtr <-> ExprId translation; we might want to get rid of that or give it a nicer interface. | |||||
* | Add HIR Expr machinery | Florian Diebold | 2019-01-05 | 1 | -0/+10 | |
| |