[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: new gnulib module "verify" for compile-time assertions
From: |
Jim Meyering |
Subject: |
Re: new gnulib module "verify" for compile-time assertions |
Date: |
Mon, 26 Sep 2005 23:43:10 +0200 |
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.
- Re: [bug-gnulib] new gnulib module "verify" for compile-time assertions, (continued)
- Re: [bug-gnulib] new gnulib module "verify" for compile-time assertions, Bruno Haible, 2005/09/23
- Re: new gnulib module "verify" for compile-time assertions, Jim Meyering, 2005/09/23
- Re: new gnulib module "verify" for compile-time assertions, Bruno Haible, 2005/09/23
- Re: new gnulib module "verify" for compile-time assertions, Jim Meyering, 2005/09/23
- Re: new gnulib module "verify" for compile-time assertions, Paul Eggert, 2005/09/23
- Re: new gnulib module "verify" for compile-time assertions, Jim Meyering, 2005/09/23
- Re: [bug-gnulib] Re: new gnulib module "verify" for compile-time assertions, Bruno Haible, 2005/09/23
- Re: [bug-gnulib] Re: new gnulib module "verify" for compile-time assertions, Paul Eggert, 2005/09/23
- Re: [bug-gnulib] Re: [bug-gnulib] Re: new gnulib module "verify" for compile-time assertions, Bruno Haible, 2005/09/26
- Re: [bug-gnulib] Re: [bug-gnulib] Re: new gnulib module "verify" for compile-time assertions, Paul Eggert, 2005/09/26
- Re: new gnulib module "verify" for compile-time assertions,
Jim Meyering <=
- Re: new gnulib module "verify" for compile-time assertions, Paul Eggert, 2005/09/27
- Re: [bug-gnulib] Re: [bug-gnulib] Re: new gnulib module "verify" for compile-time assertions, Bruno Haible, 2005/09/27
- Re: [bug-gnulib] Re: [bug-gnulib] Re: new gnulib module "verify" for compile-time assertions, Paul Eggert, 2005/09/27
- Re: new gnulib module "verify" for compile-time assertions, Bruno Haible, 2005/09/28
- Re: new gnulib module "verify" for compile-time assertions, Jim Meyering, 2005/09/23
- Re: new gnulib module "verify" for compile-time assertions, Jim Meyering, 2005/09/23