Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Operators and precedence proposal #168

Closed
wants to merge 2 commits into from
Closed

Operators and precedence proposal #168

wants to merge 2 commits into from

Conversation

zygoloid
Copy link
Contributor

Initial import from carbon-proposals repository. Comments from the old pull request can be found in proposals/operators/comments.mht

@googlebot googlebot added the cla: yes PR meets CLA requirements according to bot. label Sep 23, 2020
@jonmeow jonmeow added proposal A proposal WIP labels Sep 23, 2020
@chandlerc chandlerc mentioned this pull request Sep 24, 2020
Merged
jsiek
jsiek reviewed Oct 27, 2020
View reviewed changes
proposals/p0168.md
[Hasse diagrams](https://en.wikipedia.org/wiki/Hasse_diagram) to represent these
partial orders, where operators with lower precedence are considered less than
(and therefore depicted lower than and connected to) operators with higher
precedence. In our diagrams, an enclosing arrow will be used to show
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It would be helpful to be explicit about the relation between the direction of the arrows and the associativity. From some cross checking, it seems that a rightward pointing arrow means left-associative and a leftward pointing arrow means right-associative. At first I guessed the opposite direction but then realized that it made for a nonsensical choice for subtraction because it caused one of the tests to break for the executable semantics.

@mmdriley mmdriley mentioned this pull request Feb 9, 2021
Merged
This was referenced Apr 12, 2021
Closed
Merged
@jonmeow jonmeow removed the WIP label Apr 20, 2021
@zygoloid zygoloid mentioned this pull request May 5, 2021
Closed
@zygoloid zygoloid mentioned this pull request May 26, 2021
Closed
@zygoloid zygoloid mentioned this pull request Jun 24, 2021
Merged
@github-actions
Copy link

We triage inactive PRs and issues in order to make it easier to find active work. If this PR should remain active, please comment or remove the inactive label.
This PR is labeled inactive because the last activity was over 90 days ago. This PR will be closed and archived after 14 additional days without activity.

@github-actions github-actions bot added the inactive Issues and PRs which have been inactive for at least 90 days. label Jul 30, 2021
@github-actions
Copy link

We triage inactive PRs and issues in order to make it easier to find active work. If this PR should remain active or becomes active again, please reopen it.
This PR was closed and archived because there has been no new activity in the 14 days since the inactive label was added.

@github-actions github-actions bot closed this Aug 14, 2021
@github-actions github-actions bot added the proposal deferred Decision made, proposal deferred label Jul 25, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jsiek jsiek jsiek left review comments

Assignees
No one assigned
Labels
cla: yes PR meets CLA requirements according to bot. inactive Issues and PRs which have been inactive for at least 90 days. proposal deferred Decision made, proposal deferred proposal A proposal
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@zygoloid @jsiek @googlebot @jonmeow