Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 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 | |
| | ||||||
* | Rename ImplsInCrateQuery as well | Florian Diebold | 2019-01-04 | 1 | -1/+1 | |
| | ||||||
* | Do impl collection per module, not per crate | Florian Diebold | 2019-01-04 | 1 | -4/+4 | |
| | ||||||
* | Add HIR for impl blocks | Florian Diebold | 2019-01-04 | 1 | -1/+7 | |
| | | | | | | | | | Since we need to be able to go from def to containing impl block, as well as the other direction, and to find all impls for a certain type, a design similar to the one for modules, where we collect all impls for the whole crate and keep them in an arena, seemed fitting. The ImplBlock type, which provides the public interface, then consists only of an Arc to the arena containing all impls, and the index into it. | |||||
* | rename | Aleksey Kladov | 2019-01-02 | 1 | -1/+1 | |
| | ||||||
* | move macro id to ids | Aleksey Kladov | 2019-01-01 | 1 | -2/+2 | |
| | ||||||
* | rename MFileId -> HirFileId | Aleksey Kladov | 2019-01-01 | 1 | -5/+5 | |
| | ||||||
* | fix tests | Aleksey Kladov | 2019-01-01 | 1 | -1/+1 | |
| | ||||||
* | use MFile | Aleksey Kladov | 2019-01-01 | 1 | -3/+7 | |
| | ||||||
* | fix tests | Aleksey Kladov | 2019-01-01 | 1 | -1/+1 | |
| | ||||||
* | rename | Aleksey Kladov | 2019-01-01 | 1 | -4/+4 | |
| | ||||||
* | move more macros to hir | Aleksey Kladov | 2019-01-01 | 1 | -0/+7 | |
| | ||||||
* | Add more docs in ty.rs | Florian Diebold | 2018-12-29 | 1 | -3/+3 | |
| | | | | | Also get rid of the indirection through query_definitions for the type-related queries. |