Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | check for cancellation when executing queries | Aleksey Kladov | 2019-06-12 | 1 | -2/+6 |
| | | | | | | | Note that we can't just remove CheckCanceled trait altogether: sometimes it's useful to check for cancellation while the query is running! We do this, for example, in the name resolution fixed-point loop. | ||||
* | make LRU cache configurable | Aleksey Kladov | 2019-06-12 | 1 | -3/+9 |
| | |||||
* | make LRU_CAP configurable for batch db | Aleksey Kladov | 2019-06-12 | 1 | -2/+3 |
| | |||||
* | use salsa's LRU for syntax trees | Aleksey Kladov | 2019-06-12 | 1 | -1/+3 |
| | |||||
* | add AstDatabase | Aleksey Kladov | 2019-06-02 | 1 | -2/+3 |
| | |||||
* | cancel salsa's validation | Aleksey Kladov | 2019-05-30 | 1 | -0/+5 |
| | | | | | | | | | | | | | | | | | | | This small fix should improve rust-analyzer resopnsivness for real-time operations like onEnter handling. Turns out, salsa's validation can take hundreds of milliseconds, and, in case no changes were made, it won't be triggering any queries. Because we check for cancellation in queries, that means that validation is not cancellable! What this PR does is injecting check_canceled checks into validation, by using salsa's event API, which wasn't meant to be used like this, but, hey, it works! Here's the onEnter handling before and after this change: https://youtu.be/7-ffPzgvH7o | ||||
* | migrate to salsas interning | Aleksey Kladov | 2019-04-09 | 1 | -9/+0 |
| | |||||
* | rename persistent hir database -> def database | Aleksey Kladov | 2019-03-23 | 1 | -1/+1 |
| | |||||
* | make HirDatabase object-safe | Aleksey Kladov | 2019-02-03 | 1 | -2/+0 |
| | |||||
* | split HirDatabase api | csmoe | 2019-02-01 | 1 | -1/+2 |
| | |||||
* | automatically collect garbage | Aleksey Kladov | 2019-01-27 | 1 | -1/+10 |
| | |||||
* | rename FilesDatabase -> SourceDatabase | Aleksey Kladov | 2019-01-26 | 1 | -4/+4 |
| | |||||
* | move ide queries to ide db | Aleksey Kladov | 2019-01-26 | 1 | -9/+6 |
| | |||||
* | fold syntax database into files database | Aleksey Kladov | 2019-01-26 | 1 | -4/+3 |
| | |||||
* | :arrow_up: salsa | Aleksey Kladov | 2019-01-25 | 1 | -6/+6 |
| | |||||
* | :arrow_up salsa | Aleksey Kladov | 2019-01-25 | 1 | -49/+7 |
| | |||||
* | pack enum variants into arena | Aleksey Kladov | 2019-01-25 | 1 | -1/+0 |
| | |||||
* | Change ids strategy | Aleksey Kladov | 2019-01-24 | 1 | -0/+1 |
| | | | | | | | 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 | -28/+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 | ||||
* | rename LoweredImport -> ImportId | Aleksey Kladov | 2019-01-19 | 1 | -1/+0 |
| | |||||
* | switched to lowerd module | Aleksey Kladov | 2019-01-19 | 1 | -0/+3 |
| | |||||
* | :arrow_up: salsa | Aleksey Kladov | 2019-01-17 | 1 | -10/+9 |
| | |||||
* | 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 |
| | |||||
* | use unwinding for cancelation | Aleksey Kladov | 2019-01-10 | 1 | -1/+4 |
| | |||||
* | fix usages after rename | Aleksey Kladov | 2019-01-08 | 1 | -0/+128 |