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

P0356R5 Simplified partial function application #2487

Merged
merged 3 commits into from Nov 26, 2018
Merged

P0356R5 Simplified partial function application #2487

merged 3 commits into from Nov 26, 2018

Conversation

jensmaurer
Copy link
Member

[support.limits.general] Introduce feature-test macro even though it
was not presented as a wording diff in the paper.
[functional.syn] Use proper subclause name in cross-reference.
[func.bind_front] Do not use 'equals' when discussing types identity.

Fixes #2432.

@jensmaurer jensmaurer added this to the post-2018-11 milestone Nov 16, 2018
@jensmaurer
Copy link
Member Author

Created #2486 to apply unwrap_ref_decay from P0318.

@jensmaurer
Copy link
Member Author

jensmaurer commented Nov 19, 2018 •
edited

Even after the editorial repairs, the wording continues to talk about an "argument pack" where there is none; there are simply the usual arguments of a function call. Also, LWG has added a definition for "direct-non-list-initialized", so there is no motivation to go via the "initializer" route, deviating from other similar descriptions in the library.
@zygoloid, you need to decide whether to attempt to rescue this editorially or whether to flat-out reject application of the paper. (This is also a cost/effort consideration, given that the "ranges" paper is still on the plate.)

@jensmaurer jensmaurer added the decision-required A decision of the editorial group (or the Project Editor) is required. label Nov 19, 2018
@zygoloid
Copy link
Member

I think we should apply this and file library issues for the wording problems. Even if we interpret the spec as I believe we were supposed to, it's utterly unimplementable (perfect forwarding is not as perfect as this wording requires). However, I think both a library vendor and a user could read this specification and get the right idea as to what is being specified.

@zygoloid zygoloid removed the decision-required A decision of the editorial group (or the Project Editor) is required. label Nov 21, 2018
jensmaurer and others added 3 commits November 26, 2018 00:14
@jensmaurer @zygoloid
P0356R5 Simplified partial function application
2df85f0 
[support.limits.general] Introduce feature-test macro even though it
  was not presented as a wording diff in the paper.
[functional.syn] Use proper subclause name in cross-reference.
[func.bind_front] Do not use 'equals' when discussing types identity.
@jensmaurer @zygoloid
[func.not_fn,func.bind_front] Some clarifications
dafbb94 
'a target object' -> 'the target object'
render 'initializer' as a grammar term and add a cross-reference
to dcl.init
add cross-references to expr.call
@zygoloid
[func.def] Simplify "references to functions and references to objects"
e6b8936 
to simply "references".
@zygoloid zygoloid merged commit ad2ddb8 into master Nov 26, 2018
@jensmaurer jensmaurer deleted the motions-2018-11-lwg-26 branch October 19, 2019 20:05
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
None yet
Projects
None yet
Milestone
post-2018-11
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@jensmaurer @zygoloid