Welcome to #t-compiler/wg-mir-opt.
Description: Working group focused on implementing MIR optimizations and refactoring the MIR to be more amenable to optimizations
@WG-mir-opt exists too.
thanks! Do I have to keep that tag in sync with the github team?
For now, yeah. Hopefully at some point the
rust-lang/team repository will handle that too (I think Zulip would need to add an API for it).
Ok, so I should be bugging you or others with powers to add ppl? Or is this something I should do myself?
I think you should be able to add people. Try making a change, Organization Settings > User Groups, then just try add and remove yourself.
Otherwise, feel free to ping me.
wonderful, that works, thanks!
Would someone be able to add me to the GitHub group for this WG? I'm interested in contributing to it once it kicks off.
huh? you can't add yourself? Our permission scheme is funky. I can add you on github, but can't edit things here, you can edit things here but not on github?
Thanks. I don't have any permissions on GitHub outside of basic labelling and assigning AFAIK.
I'm also very interested in contributing once it kicks off :smile:
Hey @oli I would like to do some work in MIR. Do let me know if I can help out!
awesome! We'll gladly take your help
If you want to pick up something that just needs carrying over the finish line, https://github.com/rust-lang/rust/pull/57150 is pretty cool, MIR related and just needs some finishing cleanups
Cool, I'll take it up!
Hi everyone! I've got very interested in miri during the course of making a PR. Could I work on the issues as a member of this WG? cc @oli
This WG is about changing MIR datastructures and adding MIR optimizations, if you are looking for MIR interpretation, we don't have a working group for that (yet?).
@oli Yes, I read this README. I would be glad if I could help to solve some issues!
wonderful! We're happy to have you then. I'll add you to the github team
nevermind XD I don't have permissions to do that
I'll bring it up with the appropriate ppl and just add you to the zulip team for now
@oli Is there a place where the team for the MIR WG exists? If so, could you please add me to that?
@Saleem Jaffer do you mean https://github.com/rust-lang/compiler-team/tree/master/working-groups/mir-opt ?
@oli yeah looks like. Do we specifically add people into this?
I don't think so, but you can look at what other teams are doing
what is usually done is adding people to the Zulip group so when you do
@WG-mir-opt more people can be notified
that has already happened
we're working on a system to do that on github easily, too
what I meant is ... maybe @Saleem Jaffer can be added there
yes, they have been added to the zulip group
@oli I can pick up some more work in MIR
@Saleem Jaffer there's https://github.com/rust-rfcs/const-eval/issues/4 if you want it