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

Reflection TS requires resolution of "concepts in any context" issue 29 #55

Open
Axel-Naumann opened this issue Sep 20, 2019 · 3 comments

Comments

@Axel-Naumann
Copy link
Contributor

Reflection TS as spelled by your rebase requires the resolution of "concepts in any context" issue 29 http://cplusplus.github.io/concepts-ts/ts-complete.html#29

How do we deal with that? Shall we incorporate the resolution to issue 29 into the Reflection TS, or is a resolved issue implicitly included in our base document "Concepts TS"?

@camio
Copy link

camio commented Oct 15, 2019

I don't think it matters much in practice so my preference would be to leave it as is.

@camio
Copy link

camio commented Jan 27, 2020

AN: We use concept in "boolean context" quite a lot, in the TS document
("Expression is true if and only if T reflects an expression (Clause 8).")
and that was not a thing in the original Concepts-TS - but there was an issue
on it and that got resolved as part of the merge of the TS into the WD. As such
we can probably use it here. Hubert, what's your take?

HT: I think trying to apply the interpretation that this talks about "concepts
anywhere" is not helpful. Only mild squinting is needed to say that this means
the concept is satisfied iff .

@camio
Copy link

camio commented Jan 27, 2020

Leaving open as a post-publication issue.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants