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.

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

[conv.integral, conv.double] Fix promotion conversions #3963

Open
wants to merge 2 commits into
base: main
Choose a base branch
from

Conversation

sdkrystian
Copy link
Contributor

  • Instead of delegating integral conversions to bool to [conv.bool], we can just exclude them from the set of integral conversions (no normative effects as it delegates).
  • [conv.integral] p2 & p3 can be merged as the work better as a single paragraph (due to "Otherwise [...]").
  • There is only one floating-point promotion conversion (from float to double); we need not say "conversions".

Copy link
Member

@jensmaurer jensmaurer left a comment

Choose a reason for hiding this comment

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

These seem to be three independent changes. Please make that three commits.

@sdkrystian
Copy link
Contributor Author

@jensmaurer Should be good now.

@sdkrystian sdkrystian changed the title [conv.(prom, fpprom, integral, double)] Fix promotion conversions [conv.integral, conv.double] Fix promotion conversions Apr 29, 2020
source/expressions.tex Outdated Show resolved Hide resolved
source/expressions.tex Outdated Show resolved Hide resolved
source/expressions.tex Outdated Show resolved Hide resolved
source/expressions.tex Outdated Show resolved Hide resolved
@sdkrystian sdkrystian force-pushed the patch-73 branch 3 times, most recently from 2953ccd to 1782eb7 Compare April 29, 2020 17:46
@jensmaurer jensmaurer self-requested a review May 23, 2020 09:24
@zygoloid zygoloid added the cwg Issue must be reviewed by CWG. label Sep 18, 2020
@zygoloid
Copy link
Member

This appears to be a normative change: it affects which conversions are permitted in converted constant expressions. It might be a good change, and it's certainly clearer to have each conversion have only one kind, but this should probably be handled by a core issue.

@tkoeppe
Copy link
Contributor

tkoeppe commented Nov 12, 2023

@sdkrystian Could you please rebase?

@sdkrystian
Copy link
Contributor Author

@tkoeppe Yup, will do it Monday

source/expressions.tex Outdated Show resolved Hide resolved
@sdkrystian
Copy link
Contributor Author

@tkoeppe Rebased

@tkoeppe
Copy link
Contributor

tkoeppe commented Nov 13, 2023

Thanks! We'll have to look at it in Core, but we wanted a clean diff.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
cwg Issue must be reviewed by CWG. needs rebase The pull request needs a git rebase to resolve merge conflicts.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

6 participants