Re: [PATCH 3/3] verify: remove verify_true

2019-06-18 Thread Paul Eggert
On 6/18/19 3:26 PM, Bruno Haible wrote: Do you see other options than (a) reintroduce verify_true and check that it's usable in enum. (b) relax the check and only check that it's usable as a static initializer. Also (c) relax the check so that the buggy compiler passes but continue to ch

Re: [PATCH 3/3] verify: remove verify_true

2019-06-18 Thread Bruno Haible
Hi Paul, > 2019-05-09 Paul Eggert > > + verify: remove verify_true > + * NEWS: Mention this. > + * lib/verify.h (verify_true): Remove. > + * tests/test-verify.c (item): Test verify_expr, not verify_true. > + As a consequence of this change, the test-verify.c file does not co

Re: [PATCH] Fix num_processors_ignoring_omp.

2019-06-18 Thread Bernhard Voelker
On 6/18/19 10:58 AM, Bruno Haible wrote: > I prefer canonical URLs to short URLs. > > By "canonical" I mean: > > - When you are on a monthly overview of the /r/ domain and follow > a "Prev Period" or "Next Period" link, you get into the /archive/html/ > domain. > Similarly, when you

Re: [PATCH] Fix num_processors_ignoring_omp.

2019-06-18 Thread Bruno Haible
Bernhard Voelker wrote: > Just a tiny reminder: > the server on 'lists.gnu.org' has a redirection to get shorter URLs. I prefer canonical URLs to short URLs. By "canonical" I mean: - When you are on a monthly overview of the /r/ domain and follow a "Prev Period" or "Next Period" link, you