------=_Part_5620_357048697.1445852648544
Content-Type: multipart/alternative;
 boundary="----=_Part_5621_919236355.1445852648544"

------=_Part_5621_919236355.1445852648544
Content-Type: text/plain; charset=UTF-8

Hello everyone,

Concepts TS was published during Kona meeting:

http://herbsutter.com/2015/10/25/2568/


Looks like some refinements suggested by Walter E. Brown were left out.
I would like that, if included in C++17, since it is being considered to be
moved into
it quickly, concepts lite were updated with the tweaks proposed by his
paper:

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4434.pdf

This is just kind of a reminder so that this
paper is not forgotten. I would not like this to be out of C++17 since the
changes are small, useful, and targeted,
in my opinion.





--

---
You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposals/.

------=_Part_5621_919236355.1445852648544
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Hello everyone,<br><br>Concepts TS was published during Ko=
na meeting:<br><br>http://herbsutter.com/2015/10/25/2568/<br><br><br>Looks =
like some refinements suggested by Walter E. Brown were left out.<br>I woul=
d like that, if included in C++17, since it is being considered to be moved=
 into<br>it quickly, concepts lite were updated with the tweaks proposed by=
 his paper:<br><br>http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/=
n4434.pdf<br><br>This is just kind of a reminder so that this <br>paper is =
not forgotten. I would not like this to be out of C++17 since the changes a=
re small, useful, and targeted,<br>in my opinion.<br><br><br><br><br><br></=
div>

<p></p>

-- <br />
<br />
--- <br />
You received this message because you are subscribed to the Google Groups &=
quot;ISO C++ Standard - Future Proposals&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:std-proposals+unsubscribe@isocpp.org">std-proposa=
ls+unsubscribe@isocpp.org</a>.<br />
To post to this group, send email to <a href=3D"mailto:std-proposals@isocpp=
..org">std-proposals@isocpp.org</a>.<br />
Visit this group at <a href=3D"http://groups.google.com/a/isocpp.org/group/=
std-proposals/">http://groups.google.com/a/isocpp.org/group/std-proposals/<=
/a>.<br />

------=_Part_5621_919236355.1445852648544--
------=_Part_5620_357048697.1445852648544--

.

On 26 October 2015 at 11:44,  <german.diago@hubblehome.com> wrote:
> Hello everyone,
>
> Concepts TS was published during Kona meeting:
>
> http://herbsutter.com/2015/10/25/2568/

It was sent to publication before the Kona meeting.

> Looks like some refinements suggested by Walter E. Brown were left out.
> I would like that, if included in C++17, since it is being considered to be
> moved into
> it quickly, concepts lite were updated with the tweaks proposed by his
> paper:
> http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4434.pdf
> This is just kind of a reminder so that this
> paper is not forgotten. I would not like this to be out of C++17 since the
> changes are small, useful, and targeted,
> in my opinion.

The points in that paper were also captured by National Body comments
when the TS was balloted. We had a discussion of the design points
raised by that paper and the NB comments in Kona. The "evaluate
concepts everywhere" was approved by EWG (and gcc already implements
it), the "redundant bool" and "single syntax" were rejected.

--

---
You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposals/.

.

------=_Part_837_1667106087.1445854821014
Content-Type: multipart/alternative;
 boundary="----=_Part_838_674565009.1445854821014"

------=_Part_838_674565009.1445854821014
Content-Type: text/plain; charset=UTF-8



> it), the "redundant bool" and "single syntax" were rejected.
>

I can understand single syntax, it does not add any vaue actually.
But I wonder why redundant bool would be rejected for c++17, after all,
every concept is a predicate...

--

---
You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposals/.

------=_Part_838_674565009.1445854821014
Content-Type: text/html; charset=UTF-8

<div dir="ltr"><br><blockquote class="gmail_quote" style="margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;">it), the &quot;redundant bool&quot; and &quot;single syntax&quot; were rejected.
<br></blockquote><div><br>I can understand single syntax, it does not add any vaue actually.<br>But I wonder why redundant bool would be rejected for c++17, after all,<br>every concept is a predicate... <br></div></div>

<p></p>

-- <br />
<br />
--- <br />
You received this message because you are subscribed to the Google Groups &quot;ISO C++ Standard - Future Proposals&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an email to <a href="mailto:std-proposals+unsubscribe@isocpp.org">std-proposals+unsubscribe@isocpp.org</a>.<br />
To post to this group, send email to <a href="mailto:std-proposals@isocpp.org">std-proposals@isocpp.org</a>.<br />
Visit this group at <a href="http://groups.google.com/a/isocpp.org/group/std-proposals/">http://groups.google.com/a/isocpp.org/group/std-proposals/</a>.<br />

------=_Part_838_674565009.1445854821014--
------=_Part_837_1667106087.1445854821014--

.