Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Allign RecordPat with RecordExpr | Aleksey Kladov | 2020-07-31 | 2 | -3/+3 |
| | |||||
* | simplify | Aleksey Kladov | 2020-07-30 | 1 | -6/+4 |
| | |||||
* | Finalize impl Grammar | Aleksey Kladov | 2020-07-30 | 3 | -6/+6 |
| | |||||
* | Finalize Trait grammar | Aleksey Kladov | 2020-07-30 | 3 | -7/+7 |
| | |||||
* | Finalize const&static grammar | Aleksey Kladov | 2020-07-30 | 3 | -12/+12 |
| | |||||
* | Rename EnumVariant -> Variant | Aleksey Kladov | 2020-07-30 | 3 | -5/+5 |
| | |||||
* | Rename EnumDef -> Enum | Aleksey Kladov | 2020-07-30 | 3 | -6/+6 |
| | |||||
* | Rename StructDef -> Struct | Aleksey Kladov | 2020-07-30 | 3 | -6/+6 |
| | |||||
* | Finalize union grammar | Aleksey Kladov | 2020-07-30 | 3 | -5/+5 |
| | |||||
* | 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 | ||||
* | Merge #5355 | bors[bot] | 2020-07-14 | 1 | -0/+1 |
|\ | | | | | | | | | | | | | | | | | 5355: Add a license field to all the crates r=matklad a=JohnTitor Some are unnecessary but it's okay to have it, I think. cc https://github.com/rust-lang/rust/issues/74269 Co-authored-by: Yuki Okushi <[email protected]> | ||||
| * | Add a license field to all the crates | Yuki Okushi | 2020-07-14 | 1 | -0/+1 |
| | | |||||
* | | 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 | 4 | -31/+17 |
| | |||||
* | 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. |