Re: new gnulib module "verify" for compile-time assertions

[Jim Meyering]

Paul Eggert <address@hidden> wrote:
> I have a different idea: replace verify_expr(R) with a new macro
> verify_true(R) that acts like verify_expr(R), but is an integer
> constant expression that always yields true.  The advantage of
> verify_true(R) is that it can be used in contexts where verify_expr(R)
> cannot (e.g., the initializer of an enum).
>
> Here is a proposed patch (I haven't installed it).
>
> 2005-09-26  Paul Eggert  <address@hidden>
>
>       * verify.h (verify_expr): Remove, replacing with:
>       (verify_true): New macro that returns true instead of void.
>       (verify_type__): Remove.
>       (verify): Use verify_true rather than verify_type__.

Looks good to me.