diff --git a/posts/inside-rust/2019-10-15-compiler-team-meeting.md b/posts/inside-rust/2019-10-15-compiler-team-meeting.md index 072db05c2..7258fc143 100644 --- a/posts/inside-rust/2019-10-15-compiler-team-meeting.md +++ b/posts/inside-rust/2019-10-15-compiler-team-meeting.md @@ -26,6 +26,8 @@ Each week, we have general announcements from the team followed by check-ins fro ## Working group sync +
+ ### [wg-learning](https://rust-lang.github.io/compiler-team/working-groups/learning/) `wg-learning` aims to make the compiler easier to learn by ensuring that rustc-guide and api docs are “complete”. diff --git a/posts/inside-rust/2019-10-21-compiler-team-meeting.md b/posts/inside-rust/2019-10-21-compiler-team-meeting.md index 184b437a5..fe05ac392 100644 --- a/posts/inside-rust/2019-10-21-compiler-team-meeting.md +++ b/posts/inside-rust/2019-10-21-compiler-team-meeting.md @@ -27,6 +27,8 @@ Each week, we have general announcements from the team followed by check-ins fro ## Working group sync +
+ ### [wg-mir-opt](https://rust-lang.github.io/compiler-team/working-groups/mir-opt/) - [@wesleywiser] Moved promoted MIR out of `mir::Body` [#63580](https://github.com/rust-lang/rust/pull/63580) diff --git a/posts/inside-rust/2019-10-30-compiler-team-meeting.md b/posts/inside-rust/2019-10-30-compiler-team-meeting.md index 29351c16b..73920aa6d 100644 --- a/posts/inside-rust/2019-10-30-compiler-team-meeting.md +++ b/posts/inside-rust/2019-10-30-compiler-team-meeting.md @@ -16,6 +16,8 @@ Each week, we have general announcements from the team followed by check-ins fro ## Working group sync +
+ ### [wg-nll](https://rust-lang.github.io/compiler-team/working-groups/nll/) - Rust 1.40 (current nightly) will be the first stable release without the HIR borrow checker. diff --git a/posts/inside-rust/2019-11-07-compiler-team-meeting.md b/posts/inside-rust/2019-11-07-compiler-team-meeting.md index 4773eeca8..532f74145 100644 --- a/posts/inside-rust/2019-11-07-compiler-team-meeting.md +++ b/posts/inside-rust/2019-11-07-compiler-team-meeting.md @@ -18,6 +18,8 @@ Rust 1.39 ships on Thursday! ## Working group sync +
+ ### [wg-pgo](https://rust-lang.github.io/compiler-team/working-groups/pgo/) - PGO is available in the stable compiler. Docs are in the rustc-guide and the rustc-book diff --git a/posts/inside-rust/2019-11-11-compiler-team-meeting.md b/posts/inside-rust/2019-11-11-compiler-team-meeting.md index 3f73dacc8..251425df5 100644 --- a/posts/inside-rust/2019-11-11-compiler-team-meeting.md +++ b/posts/inside-rust/2019-11-11-compiler-team-meeting.md @@ -10,7 +10,7 @@ The compiler team had our weekly triage meeting on 2019-11-07. You can find the [minutes](https://rust-lang.github.io/compiler-team/minutes/triage-meeting/2019-11-07/) on the [compiler-team](https://github.com/rust-lang/compiler-team) repository. Each week, we have general announcements from the team followed by check-ins from two of the compiler team working groups. -## Announcments +## Announcements - [@pnkfelix] is moving to the US and will be working in the Eastern timezone. @@ -20,6 +20,8 @@ Each week, we have general announcements from the team followed by check-ins fro ## Working group sync +
+ ### [wg-polonius] We ran out of time this week to have a check-in from this working group. diff --git a/posts/inside-rust/2019-11-19-compiler-team-meeting.md b/posts/inside-rust/2019-11-19-compiler-team-meeting.md new file mode 100644 index 000000000..649b74afc --- /dev/null +++ b/posts/inside-rust/2019-11-19-compiler-team-meeting.md @@ -0,0 +1,99 @@ +--- +layout: post +title: "2019-11-14 Compiler Team Triage Meeting" +author: "Wesley Wiser" +description: "2019-11-14 Compiler Team Triage Meeting" +team: the compiler team +--- + +The compiler team had our weekly triage meeting on 2019-11-14. +You can find the [minutes](https://rust-lang.github.io/compiler-team/minutes/triage-meeting/2019-11-14/) on the [compiler-team](https://github.com/rust-lang/compiler-team) repository. +Each week, we have general announcements from the team followed by check-ins from two of the compiler team working groups. + +## Announcements + +- Request for assistance: "Rustc panics (NoSolution): could not prove Binder(projection soup)" [#65581](https://github.com/rust-lang/rust/issues/65581) + +- Request for assistance: "Rust 1.38 regressions weren't fully triaged" [#65577](https://github.com/rust-lang/rust/issues/655577) + +- Request for assistance: "Miscompilation with target-cpu=znver1 (AMD Ryzen 1000/2000 series) on Windows + LLVM 9." [#63959](https://github.com/rust-lang/rust/issues/63959) + +- [@cjgillot] replaced a lot of TypeFoldable impls with a derive [#66384](https://github.com/rust-lang/rust/pull/66384) + +- The Infra team has finished evaluating GitHub Actions and we're switching! + - This will have a signficant, positive impact on CI build time. + +- [@centril] is fixing useless `` spans [#66364](https://github.com/rust-lang/rust/pull/66364) + +## Working group sync + +This week we heard from three working groups because we ran out of time in the previous meeting. + +### [wg-polonius](https://rust-lang.github.io/compiler-team/working-groups/polonius/) + +- Made a lot of progress on the completeness goals with move/initialization errors and subset errors both getting close to completion. + +- Fixed the last failure in the rustc test suite. + - There are still the same 2 OOMs as last time, we haven't had much time to look at those yet. + +- Made diagnostics output match NLL in a lot more cases. + +- Did some cleanup in our terminology by picking better names for our atoms hopefully making it clearer in the process, and more work is planned here. + - "origin" instead of "region" + - "path" instead of "MovePath" + +- There is a [polonius book](https://rust-lang.github.io/polonius/) now! It's sparse at the moment but more documentation work is in-flight and planned. + +- The exploration and prototype on the rules offering more flow-sensitive precision for the analysis has also progressed a lot. + +- There's also been some refactoring, and quite a bit of work on performance. Since the latter can step on the other work and vice-versa, we decided to focus on completeness first, and then after that has been achieved, re-adapt and land the optimization work. + +- [@nikomatsakis] did a presentation on Polonius at RustBelt Rust. [Slides](https://nikomatsakis.github.io/rust-belt-rust-2019/) + +- [@albins] has finished their master's thesis and is currently rewriting most of the [draft](https://rust-lang.zulipchat.com/user_uploads/4715/ufu5BGNrkzVbV8FtkK3Tco6M/Albins-Thesis-draft-version.pdf). + +- We hope to have a "polonius work week" at the end of November to push the in-progress work over the finish line together. + +### [wg-self-profile](https://rust-lang.github.io/compiler-team/working-groups/self-profile/) + +- We've nearly completed our long standing MVP goal! + - [@simulacrum] has done some nice work to polish the integration with perf.rlo + - We've added tracking for all the events we're aware of that should be traced with the exception of trait selection. + - We could really use some input as to what would be helpful to track! + +- [@mw] has been working on some changes to the binary format we record events in. + - The new format is more compact so results in a smaller trace file and hopefully less runtime overhead. + - The new format is also more amenable to recording query keys, which is a highly requested feature. + +- [@wesleywiser] has added some crate level docs to make getting into the code easier. + +- [@wesleywiser] also added code to record process id, start time, and arguments to the trace file which we've started using. + +- [@andjo403] has been a roll with a lot of great PRs! + - We now have a dedicated tool for generating flamegraphs directly so you don't have to use the Perl scripts anymore. + - Some internal refactoring that makes adding new tools easier. + - Lots of work on the Chromium dev tools exporter: + - New option to collapse disjoint threads so it's a little more manageable + - New option to filter out small events under a configurable threshold (necessary for very large compilations) + - You can now have multiple crate compilations in the same export file. This is similar to what cargo build -Z timings can do but much more detailed. + +### [wg-rls-2.0](https://rust-lang.github.io/compiler-team/working-groups/rls-2.0/) + +- Work is procedding on splitting core of rust-analyzer into crates. + +- Find usages is implemented. + +- Macro expansion now can map source ranges to expanded ranges, so goto def correctly goes "inside" macro call. + +- More chalk an type inference work, specifically, support for closures. + +- There's ongoing discussion about the general planning about rustc, rls, and rust-analyzer. + +[@cjgillot]: https://github.com/cjgillot +[@centril]: https://github.com/centril +[@nikomatsakis]: https://github.com/nikomatsakis +[@albins]: https://github.com/albins +[@simulacrum]: https://github.com/mark-simulacrum +[@mw]: https://github.com/michaelwoerister +[@wesleywiser]: https://github.com/wesleywiser +[@andjo403]: https://github.com/andjo403