Topic: Sort of "static assert" for coverage of


Author: tomalak@gmail.com
Date: Thu, 4 Aug 2016 16:14:38 -0700 (PDT)
Raw View
------=_Part_965_10482636.1470352478274
Content-Type: multipart/alternative;
 boundary="----=_Part_966_960176131.1470352478274"

------=_Part_966_960176131.1470352478274
Content-Type: text/plain; charset=UTF-8

Okay not a great example... pretend I didn't include `case C` in the switch
;)

--
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.
To view this discussion on the web visit https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/13516a11-58e8-43b7-bd31-bd9704e731e3%40isocpp.org.

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

<div dir=3D"ltr">Okay not a great example... pretend I didn&#39;t include `=
case C` in the switch ;)</div>

<p></p>

-- <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 />
To view this discussion on the web visit <a href=3D"https://groups.google.c=
om/a/isocpp.org/d/msgid/std-proposals/13516a11-58e8-43b7-bd31-bd9704e731e3%=
40isocpp.org?utm_medium=3Demail&utm_source=3Dfooter">https://groups.google.=
com/a/isocpp.org/d/msgid/std-proposals/13516a11-58e8-43b7-bd31-bd9704e731e3=
%40isocpp.org</a>.<br />

------=_Part_966_960176131.1470352478274--

------=_Part_965_10482636.1470352478274--

.


Author: Ville Voutilainen <ville.voutilainen@gmail.com>
Date: Fri, 5 Aug 2016 02:18:38 +0300
Raw View
On 5 August 2016 at 02:14,  <tomalak@gmail.com> wrote:
> Okay not a great example... pretend I didn't include `case C` in the switch
> ;)


The proposal http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0375r0.html
seems related. It was reviewed and rejected in Oulu.

--
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.
To view this discussion on the web visit https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/CAFk2RUYgoQ%3DtZHLz_4F%3DLhH9PwuChB-tDcfrPRLtThoCyueA0w%40mail.gmail.com.

.


Author: tomalak@gmail.com
Date: Thu, 4 Aug 2016 16:25:49 -0700 (PDT)
Raw View
------=_Part_984_2054275823.1470353149751
Content-Type: multipart/alternative;
 boundary="----=_Part_985_1910122837.1470353149752"

------=_Part_985_1910122837.1470353149752
Content-Type: text/plain; charset=UTF-8

Mm similar but not quite the same. Seems to want to add a way to change
what enums *are*; I just want to help us enforce our intended use of them.

--
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.
To view this discussion on the web visit https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/48c97acd-1332-4efd-95dd-692106721e80%40isocpp.org.

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

<div dir=3D"ltr">Mm similar but not quite the same. Seems to want to add a =
way to change what enums <i>are</i>; I just want to help us enforce our int=
ended use of them.</div>

<p></p>

-- <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 />
To view this discussion on the web visit <a href=3D"https://groups.google.c=
om/a/isocpp.org/d/msgid/std-proposals/48c97acd-1332-4efd-95dd-692106721e80%=
40isocpp.org?utm_medium=3Demail&utm_source=3Dfooter">https://groups.google.=
com/a/isocpp.org/d/msgid/std-proposals/48c97acd-1332-4efd-95dd-692106721e80=
%40isocpp.org</a>.<br />

------=_Part_985_1910122837.1470353149752--

------=_Part_984_2054275823.1470353149751--

.


Author: Thiago Macieira <thiago@macieira.org>
Date: Thu, 04 Aug 2016 19:39:08 -0700
Raw View
On sexta-feira, 5 de agosto de 2016 02:18:38 PDT Ville Voutilainen wrote:
> The proposal
> http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0375r0.html seems
> related. It was reviewed and rejected in Oulu.

Do you know why it was rejected? Problems with the proposal? Or did people
just not think this was useful?

--
Thiago Macieira - thiago (AT) macieira.info - thiago (AT) kde.org
   Software Architect - Intel Open Source Technology Center

--
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.
To view this discussion on the web visit https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/9610046.XfhFbXHeob%40tjmaciei-mobl1.

.


Author: =?UTF-8?Q?Micha=C5=82_Dominiak?= <griwes@griwes.info>
Date: Fri, 05 Aug 2016 08:21:32 +0000
Raw View
--001a114b4444acebfb05394ec15f
Content-Type: text/plain; charset=UTF-8

The general opinion on the problem in EWG was that the majority of enums
are exhaustive, and that this isn't really an useful thing; and we didn't
even finish taking the poll for wanting the opposite attribute, because
there was no enthusiasm about it either.

Chandler mentioned that in Clang they have a rule that by default, all
enums are exhaustive; and to handle non-exhaustive enums, they just put
`default:` in their switches.

On Fri, Aug 5, 2016 at 4:39 AM Thiago Macieira <thiago@macieira.org> wrote:

> On sexta-feira, 5 de agosto de 2016 02:18:38 PDT Ville Voutilainen wrote:
> > The proposal
> > http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0375r0.html
> seems
> > related. It was reviewed and rejected in Oulu.
>
> Do you know why it was rejected? Problems with the proposal? Or did people
> just not think this was useful?
>
> --
> Thiago Macieira - thiago (AT) macieira.info - thiago (AT) kde.org
>    Software Architect - Intel Open Source Technology Center
>
> --
> 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.
> To view this discussion on the web visit
> https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/9610046.XfhFbXHeob%40tjmaciei-mobl1
> .
>

--
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.
To view this discussion on the web visit https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/CAPCFJdQ6fNkNaky0O111LJxr%3DWo3%2BONjSZkTiHAyUtcUt-b2rw%40mail.gmail.com.

--001a114b4444acebfb05394ec15f
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">The general opinion on the problem in EWG was that the maj=
ority of enums are exhaustive, and that this isn&#39;t really an useful thi=
ng; and we didn&#39;t even finish taking the poll for wanting the opposite =
attribute, because there was no enthusiasm about it either.<div><br></div><=
div>Chandler mentioned that in Clang they have a rule that by default, all =
enums are exhaustive; and to handle non-exhaustive enums, they just put `de=
fault:` in their switches.</div></div><br><div class=3D"gmail_quote"><div d=
ir=3D"ltr">On Fri, Aug 5, 2016 at 4:39 AM Thiago Macieira &lt;<a href=3D"ma=
ilto:thiago@macieira.org">thiago@macieira.org</a>&gt; wrote:<br></div><bloc=
kquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #cc=
c solid;padding-left:1ex">On sexta-feira, 5 de agosto de 2016 02:18:38 PDT =
Ville Voutilainen wrote:<br>
&gt; The proposal<br>
&gt; <a href=3D"http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/p03=
75r0.html" rel=3D"noreferrer" target=3D"_blank">http://www.open-std.org/jtc=
1/sc22/wg21/docs/papers/2016/p0375r0.html</a> seems<br>
&gt; related. It was reviewed and rejected in Oulu.<br>
<br>
Do you know why it was rejected? Problems with the proposal? Or did people<=
br>
just not think this was useful?<br>
<br>
--<br>
Thiago Macieira - thiago (AT) <a href=3D"http://macieira.info" rel=3D"noref=
errer" target=3D"_blank">macieira.info</a> - thiago (AT) <a href=3D"http://=
kde.org" rel=3D"noreferrer" target=3D"_blank">kde.org</a><br>
=C2=A0 =C2=A0Software Architect - Intel Open Source Technology Center<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%2Bunsubscribe@isocpp.org" target=3D=
"_blank">std-proposals+unsubscribe@isocpp.org</a>.<br>
To post to this group, send email to <a href=3D"mailto:std-proposals@isocpp=
..org" target=3D"_blank">std-proposals@isocpp.org</a>.<br>
To view this discussion on the web visit <a href=3D"https://groups.google.c=
om/a/isocpp.org/d/msgid/std-proposals/9610046.XfhFbXHeob%40tjmaciei-mobl1" =
rel=3D"noreferrer" target=3D"_blank">https://groups.google.com/a/isocpp.org=
/d/msgid/std-proposals/9610046.XfhFbXHeob%40tjmaciei-mobl1</a>.<br>
</blockquote></div>

<p></p>

-- <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 />
To view this discussion on the web visit <a href=3D"https://groups.google.c=
om/a/isocpp.org/d/msgid/std-proposals/CAPCFJdQ6fNkNaky0O111LJxr%3DWo3%2BONj=
SZkTiHAyUtcUt-b2rw%40mail.gmail.com?utm_medium=3Demail&utm_source=3Dfooter"=
>https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/CAPCFJdQ6fNkN=
aky0O111LJxr%3DWo3%2BONjSZkTiHAyUtcUt-b2rw%40mail.gmail.com</a>.<br />

--001a114b4444acebfb05394ec15f--

.