aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
| * | Fix crash with int vars in canonicalizationFlorian Diebold2019-05-211-1/+6
| | |
| * | Use fuel branch for ChalkFlorian Diebold2019-05-213-27/+27
|/ / | | | | | | This makes sure we don't take too long in trait solving.
* | re-enable chalkAleksey Kladov2019-05-211-17/+16
| |
* | publish gen_lsp_server 0.2Aleksey Kladov2019-05-213-19/+20
| |
* | fix logoAleksey Kladov2019-05-211-1/+1
| |
* | Merge #1299bors[bot]2019-05-213-14/+149
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 <lnicola@dend.ro>
| * | Address feedbackLaurențiu Nicola2019-05-213-35/+32
| | |
| * | Use ThemeColor and add support for light themesLaurențiu Nicola2019-05-213-14/+152
| | |
* | | Merge #1302bors[bot]2019-05-215-3/+8
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1302: profile type inference r=matklad a=matklad Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
| * | | profile type inferenceAleksey Kladov2019-05-214-3/+6
| | | |
| * | | profile implements queryAleksey Kladov2019-05-211-0/+2
|/ / /
* | | Merge #1301bors[bot]2019-05-212-7/+15
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1301: fix odrer-of-iteration bug in tests r=matklad a=matklad Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
| * | | fix odrer-of-iteration bug in testsAleksey Kladov2019-05-212-7/+15
|/ / /
* | | Merge #1300bors[bot]2019-05-216-219/+203
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1300: sort hash maps for tests r=matklad a=matklad Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
| * | | sort hash maps for testsAleksey Kladov2019-05-216-219/+203
|/ / /
* | | Merge #1297bors[bot]2019-05-211-1/+2
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1297: mozilla is sponsoring as well r=matklad a=nikomatsakis Co-authored-by: Niko Matsakis <niko@alum.mit.edu>
| * | | mozilla is sponsoring as wellNiko Matsakis2019-05-211-1/+2
| |/ /
* | | Merge #1296bors[bot]2019-05-213-6/+6
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1296: :arrow_up: insta r=matklad a=matklad Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
| * | | :arrow_up: instaAleksey Kladov2019-05-213-6/+6
| |/ /
* | | Merge #1295bors[bot]2019-05-212-6/+6
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | 1295: add _query to query functions r=matklad a=matklad Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
| * | add _query to query functionsAleksey Kladov2019-05-212-6/+6
|/ /
* | Merge #1293bors[bot]2019-05-211-1/+1
|\ \ | | | | | | | | | | | | | | | | | | | | | 1293: Pass `--all-targets` to `cargo watch` r=matklad a=aleksijuvani A trivial change, but passes the `--all-targets` flag to `cargo watch`. This enables inline diagnostics for the example, bin and test targets. Previously, modifying an example would trigger a change notification for `cargo watch`, but `cargo check` does not actually check these unless either `--all-targets` or `--examples` is specified. Co-authored-by: Aleksi Juvani <aleksi@aleksijuvani.com>
| * | Pass `--all-targets` to `cargo watch`Aleksi Juvani2019-05-211-1/+1
|/ /
* | Merge #1291bors[bot]2019-05-203-21/+33
|\ \ | | | | | | | | | | | | | | | | | | | | | 1291: add is_union to structs AST r=matklad a=matklad Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
| * | add is_union to structs ASTAleksey Kladov2019-05-201-1/+17
| | |
| * | remove minor code duplicationAleksey Kladov2019-05-202-20/+16
|/ /
* | Merge #1289bors[bot]2019-05-201-38/+39
|\ \ | | | | | | | | | | | | | | | | | | | | | 1289: simplify r=matklad a=matklad Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
| * | simplifyAleksey Kladov2019-05-201-38/+39
| | |
* | | Merge #1287bors[bot]2019-05-202-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 <edwin0cheng@gmail.com>
| * | Fix match literalEdwin Cheng2019-05-202-1/+19
| | |
* | | Merge #1288bors[bot]2019-05-201-1/+4
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | 1288: output the progress for real r=matklad a=matklad Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
| * | output the progress for realAleksey Kladov2019-05-201-1/+4
|/ /
* | Merge #1286bors[bot]2019-05-205-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 <edwin0cheng@gmail.com>
| * | Use normal iteration instead of walk_mutEdwin Cheng2019-05-201-8/+5
| | |
| * | Add infer for generic default typeEdwin Cheng2019-05-194-15/+80
| | |
| * | Add default type to GenericParamEdwin Cheng2019-05-191-3/+10
| |/
* | Merge #1284bors[bot]2019-05-181-3/+4
|\ \ | | | | | | | | | | | | | | | | | | | | | 1284: Assert that DB is unwind-safe, instead of proving r=matklad a=matklad Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
| * | Assert that DB is unwind-safe, instead of provingAleksey Kladov2019-05-181-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
* | Merge #1280bors[bot]2019-05-153-46/+33
|\ \ | | | | | | | | | | | | | | | | | | | | | 1280: :arrow_up: text_unit r=matklad a=matklad Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
| * | :arrow_up: text_unitAleksey Kladov2019-05-153-46/+33
|/ /
* | Merge #1278bors[bot]2019-05-1540-626/+622
|\ \ | |/ |/| | | | | | | | | | | 1278: Apply T! macro where posible r=matklad a=pasa apply T! macro implemented in #1248 Co-authored-by: Sergey Parilin <sergey.parilin@fxdd.com>
| * apply T! macro where it is possibleSergey Parilin2019-05-1538-623/+619
| |
| * fixed macro for bracketsSergey Parilin2019-05-152-3/+3
|/
* Merge #1273bors[bot]2019-05-142-3/+8
|\ | | | | | | | | | | | | | | 1273: show current function in analysis-stats progress bar r=matklad a=matklad Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
| * show current function in analysis-stats progress barAleksey Kladov2019-05-142-3/+8
|/
* Merge #1267bors[bot]2019-05-149-43/+68
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1267: Macro expand to r=edwin0cheng a=matklad closes #1264 The core problem this PR is trying to wrangle is that macros can expand to different stuffs, depending on context. That is, `foo!()` on the top-level expands to a list of items, but the same `foo!()` in expression position expands to expression. Our current `hir_parse(HirFileId) -> TreeArc<SourceFile>` does not really support this. So, the plan is to change `hir_parse` to untyped inreface (`TreeArc<Syntaxnode>`), and add `expands_to` field to `MacroCallLoc`, such that the *target* of macro expansion is selected by the calling code and is part of macro id. This unfortunately looses some type-safety :( Moreover, this doesn't really fix #1264 by itself, because we die due to some other error inside macro expansion: expander fails to produce a tree with a single root, which trips assert inside rowan. Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>
| * allow expanding expressionsAleksey Kladov2019-05-142-7/+8
| |
| * expand to syntax nodeAleksey Kladov2019-05-146-26/+33
| |
| * store macro kind in HirFileIdAleksey Kladov2019-05-144-21/+38
|/
* Merge #1272bors[bot]2019-05-141-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 <edwin0cheng@gmail.com>