4

Create an Operational Semantics Team by JakobDegen · Pull Request #3346 · rust-l...

 1 year ago
source link: https://github.com/rust-lang/rfcs/pull/3346
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
neoserver,ios ssh client

Conversation

@JakobDegen JakobDegen commented Nov 8, 2022 •

edited

This RFC proposes creating T-opsem, a subteam of T-lang that replaces WG-unsafe-code-guidelines and will be the long term owner of questions around undefined behavior, memory models, etc.

There was discussion about this on Zulip.

Rendered

compiler-errors, Nilstrieb, RossSmyth, clarfonthey, ChayimFriedman2, and saethlin reacted with heart emoji All reactions

compiler-errors

added T-lang Relevant to the language subteam, which will review and decide on the RFC. T-types Relevant to the types team, which will review and decide on the RFC.

labels

Nov 8, 2022

Added T-lang and T-types labels at the request of @JakobDegen. Whether or not T-types needs to participate in this team's creation decision is undecided, though better to add it now and remove it later -- cc @rust-lang/types. heartsmiley

Author

JakobDegen commented Nov 8, 2022

To clarify, my reason for adding T-types is that this is responsibility that was given to T-types in the RFC that created that team, and it seems mean to take things away without asking first stuck_out_tongue
compiler-errors and oli-obk reacted with thumbs up emojiclarfonthey reacted with heart emoji All reactions

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels
T-lang Relevant to the language subteam, which will review and decide on the RFC. T-types Relevant to the types team, which will review and decide on the RFC.
Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

None yet

2 participants

report

Recommend

About Joyk


Aggregate valuable and interesting links.
Joyk means Joy of geeK