Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | split HirDatabase api | csmoe | 2019-02-01 | 1 | -1/+5 |
| | |||||
* | rename FilesDatabase -> SourceDatabase | Aleksey Kladov | 2019-01-26 | 1 | -2/+2 |
| | |||||
* | move ide queries to ide db | Aleksey Kladov | 2019-01-26 | 1 | -2/+0 |
| | |||||
* | fold syntax database into files database | Aleksey Kladov | 2019-01-26 | 1 | -7/+3 |
| | |||||
* | :arrow_up: salsa | Aleksey Kladov | 2019-01-25 | 1 | -2/+6 |
| | |||||
* | use set methods | Aleksey Kladov | 2019-01-25 | 1 | -23/+10 |
| | |||||
* | :arrow_up salsa | Aleksey Kladov | 2019-01-25 | 1 | -45/+5 |
| | |||||
* | pack enum variants into arena | Aleksey Kladov | 2019-01-25 | 1 | -1/+0 |
| | |||||
* | Change ids strategy | Aleksey Kladov | 2019-01-24 | 1 | -4/+9 |
| | | | | | | | 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 | -19/+8 |
| | |||||
* | Generics -> GenericParams | Florian Diebold | 2019-01-19 | 1 | -1/+1 |
| | |||||
* | Implement beginnings of generics | Florian Diebold | 2019-01-19 | 1 | -0/+1 |
| | | | | | | | - add HIR for generic params - resolve generic params in type paths - add substitions for ADTs - insert type variables for substitutions | ||||
* | fix the test | Aleksey Kladov | 2019-01-19 | 1 | -1/+3 |
| | |||||
* | :arrow_up: salsa | Aleksey Kladov | 2019-01-17 | 1 | -4/+6 |
| | |||||
* | Implement basic inherent method resolution | Florian Diebold | 2019-01-12 | 1 | -0/+1 |
| | |||||
* | Implement type inference for enum variants | Marcus Klaas de Vries | 2019-01-10 | 1 | -0/+1 |
| | |||||
* | implement RefUnwindSafe | Aleksey Kladov | 2019-01-10 | 1 | -1/+3 |
| | |||||
* | ra_db is independent from editor | Aleksey Kladov | 2019-01-08 | 1 | -1/+0 |
| | |||||
* | Fix name resolution across source roots | Florian Diebold | 2019-01-08 | 1 | -11/+36 |
| | | | | It was using the wrong name in that case. | ||||
* | Add fn signature query | Florian Diebold | 2019-01-06 | 1 | -0/+1 |
| | |||||
* | Add HIR Expr machinery | Florian Diebold | 2019-01-05 | 1 | -0/+2 |
| | |||||
* | Rename ImplsInCrateQuery as well | Florian Diebold | 2019-01-04 | 1 | -1/+1 |
| | |||||
* | Type the self parameter | Florian Diebold | 2019-01-04 | 1 | -0/+4 |
| | |||||
* | Add HIR for impl blocks | Florian Diebold | 2019-01-04 | 1 | -0/+1 |
| | | | | | | | | | 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 MFileId -> HirFileId | Aleksey Kladov | 2019-01-01 | 1 | -1/+1 |
| | |||||
* | fix tests | Aleksey Kladov | 2019-01-01 | 1 | -0/+1 |
| | |||||
* | fix tests | Aleksey Kladov | 2019-01-01 | 1 | -1/+8 |
| | |||||
* | remove FnId | Aleksey Kladov | 2018-12-27 | 1 | -1/+0 |
| | |||||
* | Resolve field types lazily | Florian Diebold | 2018-12-25 | 1 | -0/+1 |
| | | | | I.e. not already when getting the HIR for the struct. | ||||
* | Add basic HIR and types for structs/enums | Florian Diebold | 2018-12-25 | 1 | -0/+2 |
| | |||||
* | Resolve paths to defs (functions currently) during type inference | Florian Diebold | 2018-12-23 | 1 | -0/+1 |
| | |||||
* | Add testing infrastructure for type inference | Florian Diebold | 2018-12-23 | 1 | -0/+9 |
| | | | | - move dir_tests to test_utils for that. | ||||
* | Add beginnings of type infrastructure | Florian Diebold | 2018-12-23 | 1 | -1/+2 |
| | |||||
* | fix tests | Aleksey Kladov | 2018-12-20 | 1 | -5/+8 |
| | |||||
* | fix hir mock | Aleksey Kladov | 2018-12-20 | 1 | -16/+19 |
| | |||||
* | resolve extern crates propertly | Aleksey Kladov | 2018-12-09 | 1 | -4/+20 |
| | |||||
* | Add functions to DefId | Aleksey Kladov | 2018-12-04 | 1 | -8/+1 |
| | |||||
* | Move hir tests to hit | Aleksey Kladov | 2018-11-28 | 1 | -0/+172 |