Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rename FieldDef -> Field | Aleksey Kladov | 2020-07-30 | 3 | -12/+6 |
| | |||||
* | Rename RecordLit -> RecordExpr | Aleksey Kladov | 2020-07-30 | 2 | -10/+13 |
| | |||||
* | Rename TypeAliasDef -> TypeAlias | Aleksey Kladov | 2020-07-30 | 3 | -9/+6 |
| | |||||
* | Rename FnDef -> Fn | Aleksey Kladov | 2020-07-30 | 3 | -7/+7 |
| | |||||
* | Add a builder for DiagnosticSink | Jonas Schievink | 2020-07-24 | 1 | -1/+3 |
| | |||||
* | Cache macro expansion in semantics | Aleksey Kladov | 2020-07-24 | 1 | -2/+14 |
| | | | | | #5497 accidentally made syntax highlighting quadratic, due to repeated tokentreeizing of macros. | ||||
* | Add missing cancellation point | Aleksey Kladov | 2020-07-24 | 1 | -0/+1 |
| | |||||
* | Add profiling call | Aleksey Kladov | 2020-07-24 | 1 | -0/+1 |
| | |||||
* | Store macro invocation parameters as text instead of tt | Laurențiu Nicola | 2020-07-22 | 1 | -1/+1 |
| | |||||
* | call_info works with closures | Aleksey Kladov | 2020-07-17 | 1 | -14/+19 |
| | |||||
* | Remove FunctionSignature | Aleksey Kladov | 2020-07-16 | 1 | -1/+1 |
| | |||||
* | Inlay hints use callables | Aleksey Kladov | 2020-07-16 | 1 | -0/+3 |
| | |||||
* | Redner self as param for call infor for assoc fn call | Aleksey Kladov | 2020-07-16 | 1 | -2/+12 |
| | |||||
* | Semantical call info | Aleksey Kladov | 2020-07-16 | 4 | -21/+99 |
| | |||||
* | Align CallableDefId naming with other ids | Aleksey Kladov | 2020-07-16 | 2 | -3/+3 |
| | |||||
* | Remove TypeCtor interning | Florian Diebold | 2020-07-15 | 1 | -3/+3 |
| | | | | Our TypeCtor and Chalk's TypeName match now! | ||||
* | Use Chalk closure support | Florian Diebold | 2020-07-15 | 1 | -3/+3 |
| | |||||
* | Cap macro expansion depth for IDE features | Aleksey Kladov | 2020-07-15 | 1 | -1/+1 |
| | | | | closes #4453 | ||||
* | Cleanup visibility | Aleksey Kladov | 2020-07-14 | 1 | -1/+1 |
| | |||||
* | Cleanup hir diagnostics API | Aleksey Kladov | 2020-07-14 | 1 | -8/+1 |
| | |||||
* | Consolidate hir diagnostics code in one place | Aleksey Kladov | 2020-07-14 | 2 | -6/+4 |
| | |||||
* | Don't copy-paste `impl_froms` into every crate | Aleksey Kladov | 2020-07-13 | 3 | -31/+16 |
| | |||||
* | Use dedicated semantic highlight tag for parameters | Aleksey Kladov | 2020-07-11 | 1 | -1/+14 |
| | | | | closes #5106 | ||||
* | Fix goto definition for type alias type parameters | Aleksey Kladov | 2020-07-11 | 2 | -0/+8 |
| | | | | closes https://github.com/rust-analyzer/rust-analyzer/issues/5042 | ||||
* | Reduce visibility | Aleksey Kladov | 2020-07-11 | 1 | -31/+31 |
| | |||||
* | Speed up completion | Aleksey Kladov | 2020-07-11 | 1 | -0/+1 |
| | |||||
* | Dont expose ID | Aleksey Kladov | 2020-07-10 | 1 | -4/+3 |
| | |||||
* | Rename | Aleksey Kladov | 2020-07-10 | 2 | -3/+2 |
| | |||||
* | Goto type definition works for self | Aleksey Kladov | 2020-07-10 | 2 | -0/+21 |
| | |||||
* | Add argument count mismatch diagnostic | Jonas Schievink | 2020-07-09 | 1 | -1/+3 |
| | |||||
* | Merge #5149 | bors[bot] | 2020-07-01 | 1 | -5/+5 |
|\ | | | | | | | | | | | | | | | | | | | 5149: Implement Chalk variable kinds r=flodiebold a=flodiebold This means we need to keep track of the kinds (general/int/float) of variables in `Canonical`, which requires some more ceremony. (It also exposes some places where we're not really dealing with canonicalization correctly -- another thing to be cleaned up when we switch to using Chalk's types directly.) Should fix the last remaining issue of #2534. Co-authored-by: Florian Diebold <[email protected]> | ||||
| * | Implement Chalk variable kinds | Florian Diebold | 2020-07-01 | 1 | -5/+5 |
| | | | | | | | | | | | | | | | | | | This means we need to keep track of the kinds (general/int/float) of variables in `Canonical`, which requires some more ceremony. (It also exposes some places where we're not really dealing with canonicalization correctly -- another thing to be cleaned up when we switch to using Chalk's types directly.) Should fix the last remaining issue of #2534. | ||||
* | | Split `CrateImplDefs` in inherent and trait impls | Jonas Schievink | 2020-07-01 | 2 | -11/+13 |
| | | | | | | | | | | | | This makes the intention of inherent vs. trait impls somewhat more clear and also fixes (?) an issue where trait impls with an unresolved trait were added as inherent impls instead (hence the test changes). | ||||
* | | Make less code generic | Laurențiu Nicola | 2020-07-01 | 1 | -69/+47 |
| | | |||||
* | | Try to reduce Semantics monomorphisations | Laurențiu Nicola | 2020-07-01 | 1 | -23/+186 |
| | | |||||
* | | Merge #5158 | bors[bot] | 2020-07-01 | 1 | -3/+3 |
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | 5158: Use CrateName correctly r=matklad a=matklad bors r+ 🤖 Co-authored-by: Aleksey Kladov <[email protected]> | ||||
| * | | Use Strings for display names | Aleksey Kladov | 2020-07-01 | 1 | -3/+3 |
| |/ | |||||
* / | Make SemanticsScope non-generic | Laurențiu Nicola | 2020-07-01 | 1 | -8/+8 |
|/ | |||||
* | (Partially) fix handling of type params depending on type params | Florian Diebold | 2020-06-29 | 1 | -3/+6 |
| | | | | | | | | If the first type parameter gets inferred, that's still not handled correctly; it'll require some more refactoring: E.g. if we have `Thing<T, F=fn() -> T>` and then instantiate `Thing<_>`, that gets turned into `Thing<_, fn() -> _>` before the `_` is instantiated into a type variable -- so afterwards, we have two type variables without any connection to each other. | ||||
* | Remove unneeded code, filename from tests, fix rebasing issues | Paul Daniel Faria | 2020-06-27 | 1 | -2/+6 |
| | |||||
* | Revert ide highlighting changes (addressing on another branch) | Paul Daniel Faria | 2020-06-27 | 1 | -4/+0 |
| | |||||
* | Add HighlightTag::Operator, use it for unsafe deref. Move unsafe validation ↵ | Paul Daniel Faria | 2020-06-27 | 1 | -3/+5 |
| | | | | to its own file | ||||
* | Move diagnostics back into expr, add tests for diagnostics, fix logic to ↵ | Paul Daniel Faria | 2020-06-27 | 2 | -53/+2 |
| | | | | account for derefs of raw ptrs | ||||
* | Add unsafe diagnostics and unsafe highlighting | Paul Daniel Faria | 2020-06-27 | 2 | -1/+54 |
| | |||||
* | Measure ItemTree query memory usage | Jonas Schievink | 2020-06-24 | 1 | -2/+2 |
| | |||||
* | draw the rest of the owl | Jonas Schievink | 2020-06-24 | 1 | -6/+4 |
| | |||||
* | Remove raw item query | Jonas Schievink | 2020-06-24 | 1 | -2/+2 |
| | |||||
* | New VFS | Aleksey Kladov | 2020-06-23 | 1 | -1/+9 |
| | |||||
* | Enum variants with `Self::[variant]` now resolve (#4879) | BGluth | 2020-06-22 | 1 | -0/+30 |
| | |||||
* | Merge #4947 | bors[bot] | 2020-06-20 | 1 | -1/+1 |
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 4947: Replace `impls_in_trait` query with smarter use of `CrateImplDefs` r=matklad a=jonas-schievink `impls_in_trait` was allocating a whopping ~400 MB of RAM when running analysis-stats on r-a itself. Remove it, instead adding a query that computes a summary `CrateImplDefs` map for all transitive dependencies. This can probably still be made more efficient, but this already reduces the peak memory usage by 25% without much performance impact on analysis-stats. **Before**: ``` Total: 34.962107188s, 2083mb allocated 2141mb resident 422mb ImplsForTraitQuery (deps) 250mb CrateDefMapQueryQuery 147mb MacroArgQuery 140mb TraitSolveQuery (deps) 68mb InferQueryQuery (deps) 62mb ImplDatumQuery (deps) ``` **After**: ``` Total: 35.261100358s, 1520mb allocated 1569mb resident 250mb CrateDefMapQueryQuery 147mb MacroArgQuery 144mb TraitSolveQuery (deps) 68mb InferQueryQuery (deps) 61mb ImplDatumQuery (deps) 45mb BodyQuery 45mb ImplDatumQuery ``` Co-authored-by: Jonas Schievink <[email protected]> |