aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Don't store shift redundantlyAleksey Kladov2019-11-171-6/+5
|
* Merge #2283bors[bot]2019-11-171-2/+2
|\ | | | | | | | | | | | | | | 2283: Fix #2275 r=matklad a=edwin0cheng Fix #2275 Co-authored-by: Edwin Cheng <[email protected]>
| * Add bound checkEdwin Cheng2019-11-171-2/+2
|/
* Merge #2280bors[bot]2019-11-164-58/+98
|\ | | | | | | | | | | | | | | 2280: Add ast for plain and raw string literals r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * Add ast for plain and raw string literalsAleksey Kladov2019-11-164-58/+98
| |
* | Merge #2279bors[bot]2019-11-161-11/+20
|\| | | | | | | | | | | | | | | 2279: Better factoring of macro expansion machinery in goto def r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * Better factoring of macro expansion machinery in goto defAleksey Kladov2019-11-161-11/+20
|/
* Merge #2273bors[bot]2019-11-164-11/+77
|\ | | | | | | | | | | | | | | | | | | 2273: goto in macro calls r=matklad a=matklad ![goto](https://user-images.githubusercontent.com/1711539/68984944-2a50ba80-0824-11ea-896c-c0ea8edcd0d6.gif) This builds on the awesome infrastructure created by @edwin0cheng Co-authored-by: Aleksey Kladov <[email protected]>
| * Goto definition works inside macrosAleksey Kladov2019-11-164-11/+77
|/
* Merge #2276bors[bot]2019-11-165-41/+41
|\ | | | | | | | | | | | | | | 2276: Source-ify name_definition r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * Source-ify name_definitionAleksey Kladov2019-11-161-20/+19
| |
| * Sourcify classify_name_refAleksey Kladov2019-11-165-21/+22
| |
* | Merge #2274bors[bot]2019-11-1610-216/+401
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | 2274: Chalk upgrade & dyn/impl support r=matklad a=flodiebold - upgrade Chalk, which is a bit more involved than usual this time -- associated type values (in impls) are now a separate entity in Chalk, so we have to intern separate IDs for them... - use Chalk's dyn/impl Trait support - fix our handling of binders/bound variables -- before, we didn't use them for anything except Chalk queries, but now that we use them in dyn/impl Trait types and pass that to Chalk, we have to be a bit more careful Co-authored-by: Florian Diebold <[email protected]>
| * | Upgrade Chalk againFlorian Diebold2019-11-165-54/+65
| | |
| * | Fix handling of the binders in dyn/impl TraitFlorian Diebold2019-11-164-45/+116
| | | | | | | | | | | | | | | | | | | | | | | | | | | We need to be more careful now when substituting bound variables (previously, we didn't have anything that used bound variables except Chalk, so it was not a problem). This is obviously quite ad-hoc; Chalk has more infrastructure for handling this in a principled way, which we maybe should adopt.
| * | Use Chalk's dyn/impl trait supportFlorian Diebold2019-11-163-13/+16
| | |
| * | Upgrade ChalkFlorian Diebold2019-11-166-140/+240
| |/ | | | | | | | | Associated type values (in impls) are now a separate entity in Chalk, so we have to intern separate IDs for them.
* | Merge #2263bors[bot]2019-11-161-1/+8
|\ \ | |/ |/| | | | | | | | | | | | | | | | | 2263: Handle `cargo watch` errors caused by `cargo-watch` itself r=matklad a=oxalica Currently, it silently fails when `cargo-watch` is installed but broken. This PR handles missing cases and prompt the error message when failed. Co-authored-by: oxalica <[email protected]>
| * Fix formatoxalica2019-11-161-1/+3
| |
| * Check exit code of `cargo watch`oxalica2019-11-151-3/+3
| |
| * Handle errors when `cargo watch` failsoxalica2019-11-151-0/+5
| |
* | Merge #2271bors[bot]2019-11-1510-54/+51
|\ \ | | | | | | | | | | | | | | | | | | | | | 2271: Force passing Source when creating a SourceAnalyzer r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | Force passing Source when creating a SourceAnalyzerAleksey Kladov2019-11-1510-53/+51
| | |
| * | Prepare SourceAnalyzer for macrosAleksey Kladov2019-11-151-1/+0
| | |
* | | Merge #2268bors[bot]2019-11-153-5/+47
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | 2268: Handle ast::MacroCall in classify_name and impl FromSource for MacroDef r=matklad a=kjeremy Fixes #2260 Co-authored-by: kjeremy <[email protected]>
| * | Add a test that uses classify_namekjeremy2019-11-151-0/+15
| | |
| * | Handle ast::MacroCall in classify_name and impl FromSource for MacroDefkjeremy2019-11-152-5/+32
| | | | | | | | | | | | Fixes #2260
* | | Merge #2270bors[bot]2019-11-156-10/+14
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2270: Reduce some duplication r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | | Reduce some duplicationAleksey Kladov2019-11-155-8/+12
| | | |
| * | | Remove wrong cloneAleksey Kladov2019-11-151-2/+2
| | | |
* | | | Merge #2269bors[bot]2019-11-152-20/+35
|\| | | | |/ / |/| | | | | | | | | | | | | | | | | 2269: Prepare SourceAnalyzer for macros r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | Prepare SourceAnalyzer for macrosAleksey Kladov2019-11-152-9/+14
| | |
| * | Sourcify some moreAleksey Kladov2019-11-152-13/+23
|/ /
* | Merge #2266bors[bot]2019-11-156-21/+22
|\ \ | | | | | | | | | | | | | | | | | | | | | 2266: Sourcify some things r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | Sourcify some thingsAleksey Kladov2019-11-156-21/+22
| | | | | | | | | | | | | | | If we want to support macros properly, we need to get rid of those FileIds everywhere...
* | | Merge #2252bors[bot]2019-11-1511-31/+207
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2252: Fix parsing of "postfix" range expressions. r=matklad a=goffrie Right now they are handled in `postfix_dot_expr`, but that doesn't allow it to correctly handle precedence. Integrate it more tightly with the Pratt parser instead. Also includes a drive-by fix for parsing `match .. {}`. Fixes #2242. Co-authored-by: Geoffry Song <[email protected]>
| * | | Attempt to implement typed accessorsGeoffry Song2019-11-154-8/+50
| | | |
| * | | Move inclusive range check to validationGeoffry Song2019-11-155-11/+33
| | | |
| * | | Fix parsing of "postfix" range expressions.Geoffry Song2019-11-157-30/+142
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Right now they are handled in `postfix_dot_expr`, but that doesn't allow it to correctly handle precedence. Integrate it more tightly with the Pratt parser instead. Also includes a drive-by fix for parsing `match .. {}`. Fixes #2242.
* | | | Merge #2265bors[bot]2019-11-151-5/+64
|\ \ \ \ | |_|/ / |/| | | | | | | | | | | | | | | | | | | | | | | 2265: Fix add-new assist r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | | Fix add-new assistAleksey Kladov2019-11-151-5/+64
|/ / /
* | | Merge #2264bors[bot]2019-11-1518-370/+241
|\ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2264: move impls to hir-def r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | | Remove old impls infrastructureAleksey Kladov2019-11-1515-358/+181
| | | |
| * | | Store impls in CrateDefMapAleksey Kladov2019-11-153-4/+39
| | | |
| * | | Add ImplIdAleksey Kladov2019-11-152-9/+22
| | | |
| * | | Reduce visibilityAleksey Kladov2019-11-151-1/+1
| | | |
* | | | Merge #2262bors[bot]2019-11-151-1/+1
|\| | | | |_|/ |/| | | | | | | | | | | | | | | | | 2262: Speedup builds for users r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | Speedup builds for usersAleksey Kladov2019-11-151-1/+1
| | |
* | | Merge #2261bors[bot]2019-11-151-1/+1
|\ \ \ | |/ / |/| | | | | | | | | | | | | | | | | 2261: Reduce visibility r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * | Reduce visibilityAleksey Kladov2019-11-151-1/+1
|/ /