Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Use slice instead of Vec | Edwin Cheng | 2019-05-23 | 1 | -4/+4 |
| | |||||
* | Formatting | Edwin Cheng | 2019-05-23 | 1 | -1/+1 |
| | |||||
* | Refactor SubtreeSource | Edwin Cheng | 2019-05-22 | 3 | -201/+88 |
| | |||||
* | Introduce TokenBuffer | Edwin Cheng | 2019-05-22 | 2 | -0/+171 |
| | |||||
* | better profilig | Aleksey Kladov | 2019-05-21 | 2 | -8/+28 |
| | |||||
* | Fix crash with int vars in canonicalization | Florian Diebold | 2019-05-21 | 1 | -1/+6 |
| | |||||
* | Use fuel branch for Chalk | Florian Diebold | 2019-05-21 | 2 | -4/+4 |
| | | | | This makes sure we don't take too long in trait solving. | ||||
* | re-enable chalk | Aleksey Kladov | 2019-05-21 | 1 | -17/+16 |
| | |||||
* | publish gen_lsp_server 0.2 | Aleksey Kladov | 2019-05-21 | 2 | -17/+18 |
| | |||||
* | Merge #1299 | bors[bot] | 2019-05-21 | 1 | -1/+18 |
|\ | | | | | | | | | | | | | | | | | | | | | | | | | 1299: Use ThemeColor and add support for light themes r=matklad a=lnicola Part of #1294. - switch to `ThemeColor` - add light and high contrast theme definitions - highlight control flow keywords and `unsafe` Co-authored-by: Laurențiu Nicola <[email protected]> | ||||
| * | Address feedback | Laurențiu Nicola | 2019-05-21 | 1 | -4/+11 |
| | | |||||
| * | Use ThemeColor and add support for light themes | Laurențiu Nicola | 2019-05-21 | 1 | -1/+11 |
| | | |||||
* | | profile type inference | Aleksey Kladov | 2019-05-21 | 4 | -3/+6 |
| | | |||||
* | | profile implements query | Aleksey Kladov | 2019-05-21 | 1 | -0/+2 |
| | | |||||
* | | fix odrer-of-iteration bug in tests | Aleksey Kladov | 2019-05-21 | 2 | -7/+15 |
| | | |||||
* | | sort hash maps for tests | Aleksey Kladov | 2019-05-21 | 5 | -212/+196 |
| | | |||||
* | | Merge #1296 | bors[bot] | 2019-05-21 | 2 | -2/+2 |
|\ \ | | | | | | | | | | | | | | | | | | | | | | 1296: :arrow_up: insta r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | ||||
| * | | :arrow_up: insta | Aleksey Kladov | 2019-05-21 | 2 | -2/+2 |
| |/ | |||||
* / | add _query to query functions | Aleksey Kladov | 2019-05-21 | 2 | -6/+6 |
|/ | |||||
* | add is_union to structs AST | Aleksey Kladov | 2019-05-20 | 1 | -1/+17 |
| | |||||
* | remove minor code duplication | Aleksey Kladov | 2019-05-20 | 2 | -20/+16 |
| | |||||
* | Merge #1289 | bors[bot] | 2019-05-20 | 1 | -38/+39 |
|\ | | | | | | | | | | | | | | | 1289: simplify r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | ||||
| * | simplify | Aleksey Kladov | 2019-05-20 | 1 | -38/+39 |
| | | |||||
* | | Merge #1287 | bors[bot] | 2019-05-20 | 2 | -1/+19 |
|\ \ | |/ |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | 1287: Add support of matching literal in mbe r=matklad a=edwin0cheng This PR adds support of matching literal in mbe , which used in our `T` macro : ```rust macro_rules! foo { ('(') => { fn foo() {} } } ``` Co-authored-by: Edwin Cheng <[email protected]> | ||||
| * | Fix match literal | Edwin Cheng | 2019-05-20 | 2 | -1/+19 |
| | | |||||
* | | output the progress for real | Aleksey Kladov | 2019-05-20 | 1 | -1/+4 |
|/ | |||||
* | Merge #1286 | bors[bot] | 2019-05-20 | 5 | -17/+86 |
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1286: Add infer for generic default type r=flodiebold a=edwin0cheng This PR add infer support for generic default type: ``` struct Gen<T=u32> { val: T } ``` * add the (unresolved) defaults from the definition to GenericParams * add a query generic_defaults that resolves those defaults to types and returns a Substs * add the missing type in `substs_from_path_segment` * add tests based on the idea in this [comment](https://github.com/rust-analyzer/rust-analyzer/issues/1099#issuecomment-484206279) Co-authored-by: Edwin Cheng <[email protected]> | ||||
| * | Use normal iteration instead of walk_mut | Edwin Cheng | 2019-05-20 | 1 | -8/+5 |
| | | |||||
| * | Add infer for generic default type | Edwin Cheng | 2019-05-19 | 4 | -15/+80 |
| | | |||||
| * | Add default type to GenericParam | Edwin Cheng | 2019-05-19 | 1 | -3/+10 |
| | | |||||
* | | Assert that DB is unwind-safe, instead of proving | Aleksey Kladov | 2019-05-18 | 1 | -3/+4 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | Unfortunately, that `: RefUnwindSafe` bound gives rustc a hard time, so let's remove it for know. See * https://github.com/rust-analyzer/rust-analyzer/issues/1283 * https://github.com/rust-lang/rust/pull/60444 * https://github.com/rust-lang/rust/issues/58291 closes #1283 | ||||
* | | :arrow_up: text_unit | Aleksey Kladov | 2019-05-15 | 2 | -40/+27 |
| | | |||||
* | | apply T! macro where it is possible | Sergey Parilin | 2019-05-15 | 38 | -623/+619 |
| | | |||||
* | | fixed macro for brackets | Sergey Parilin | 2019-05-15 | 2 | -3/+3 |
|/ | |||||
* | show current function in analysis-stats progress bar | Aleksey Kladov | 2019-05-14 | 2 | -3/+8 |
| | |||||
* | allow expanding expressions | Aleksey Kladov | 2019-05-14 | 2 | -7/+8 |
| | |||||
* | expand to syntax node | Aleksey Kladov | 2019-05-14 | 6 | -26/+33 |
| | |||||
* | store macro kind in HirFileId | Aleksey Kladov | 2019-05-14 | 4 | -21/+38 |
| | |||||
* | Merge #1272 | bors[bot] | 2019-05-14 | 1 | -0/+46 |
|\ | | | | | | | | | | | | | | | | | | | 1272: Error out non single root token tree conversion r=matklad a=edwin0cheng This PR add a check to prevent non single root token tree conversion between token trees and syntax tree. It should prevent the assert produced in #1267. Co-authored-by: Edwin Cheng <[email protected]> | ||||
| * | Error out non single root token tree conversion | Edwin Cheng | 2019-05-14 | 1 | -0/+46 |
| | | |||||
* | | Merge #1271 | bors[bot] | 2019-05-13 | 11 | -24/+29 |
|\ \ | | | | | | | | | | | | | | | | | | | | | | 1271: make AstId untyped r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]> | ||||
| * | | make AstId untyped | Aleksey Kladov | 2019-05-13 | 11 | -24/+29 |
| | | | |||||
* | | | Increase Chalk solver max_size back to 4 | Florian Diebold | 2019-05-13 | 1 | -1/+1 |
|/ / | | | | | | | | | | | Reducing it to 2 was just a failed attempt to see whether that would help fix some slow cases; in fact, it can create new slow cases by replacing concrete types by variables. | ||||
* | | Merge #1257 | bors[bot] | 2019-05-13 | 6 | -1/+114 |
|\ \ | |/ |/| | | | | | | | | | | | 1257: Implemented tkn! macro for syntax kinds r=matklad a=pasa Implementation of #1248 Co-authored-by: Sergey Parilin <[email protected]> | ||||
| * | Implemented T! macro for syntax kinds | Sergey Parilin | 2019-05-13 | 6 | -1/+114 |
| | | |||||
* | | simplify | Aleksey Kladov | 2019-05-12 | 5 | -34/+12 |
| | | |||||
* | | simplify | Aleksey Kladov | 2019-05-12 | 2 | -8/+7 |
| | | |||||
* | | Use traits from prelude for method resolution | Florian Diebold | 2019-05-12 | 3 | -14/+42 |
| | | |||||
* | | Blacklist some traits from being considered in where clauses | Florian Diebold | 2019-05-12 | 2 | -7/+34 |
| | | | | | | | | | | | | | | For Send/Sync/Sized, we don't handle auto traits correctly yet and because they have a lot of impls, they can easily lead to slowdowns. In the case of Fn/FnMut/FnOnce, we don't parse the special Fn notation correctly yet and don't handle closures yet, so we are very unlikely to find an impl. | ||||
* | | Fix impl blocks with unresolved target trait being treated as inherent impls | Florian Diebold | 2019-05-12 | 1 | -5/+7 |
| | |