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

[stmt.while] Simplify rewrite rule. #2016

Merged
merged 1 commit into from Nov 27, 2018
Merged

[stmt.while] Simplify rewrite rule. #2016

merged 1 commit into from Nov 27, 2018

Conversation

jensmaurer
Copy link
Member

Fixes #2008.

@jensmaurer jensmaurer requested a review from zygoloid April 2, 2018 19:53
@jensmaurer jensmaurer added the after-motions Pull request is to be applied after the pending edits from WG21 straw polls have been applied. label Apr 2, 2018
@tkoeppe tkoeppe added cwg Issue must be reviewed by CWG. and removed after-motions Pull request is to be applied after the pending edits from WG21 straw polls have been applied. labels Apr 3, 2018
@zygoloid zygoloid force-pushed the master branch 2 times, most recently from e3dbfe2 to 1a21a65 Compare July 7, 2018 23:19
@jensmaurer jensmaurer added the decision-required A decision of the editorial group (or the Project Editor) is required. label Jul 24, 2018
@jensmaurer
Copy link
Member Author

Editorial meeting: The rewrite has a problem, because you can't "goto" in constexpr functions. Ignore that for here. Merge "after motions".

@jensmaurer jensmaurer added after-motions Pull request is to be applied after the pending edits from WG21 straw polls have been applied. and removed cwg Issue must be reviewed by CWG. decision-required A decision of the editorial group (or the Project Editor) is required. labels Nov 6, 2018
@zygoloid zygoloid merged commit 5e37f79 into cplusplus:master Nov 27, 2018
@jensmaurer jensmaurer removed the after-motions Pull request is to be applied after the pending edits from WG21 straw polls have been applied. label Nov 27, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@zygoloid zygoloid Awaiting requested review from zygoloid

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@jensmaurer @zygoloid @tkoeppe