Re: doc for the 'verify' module

[Ralf Wildenhues]

Hi Bruno,

* Bruno Haible wrote on Tue, May 02, 2006 at 04:33:28PM CEST:
> 
> I propose to add the attached doc to the 'verify' module. It captures the
> interesting details of the verify macro. Objections?

A rough syntax check only:

*snip*
> @item
> Next this expression @samp{W} is wrapped in a type
> @samp{struct verify_type__ @{ unsigned int dummy: W; @}}.
> If @code{W} is negative, this yields a compile-time error.  No compiler can
> deal with an bit field of negative size.

  s/ an / a /

*snip*
> In C, we have the following constraints:
> @itemize @bullet
> @item
> In the second and sixth case, the struct type is exported to the outer scope;
> two such declarations therefore collide.
> @item
> In the third and fourth case, gcc gives a warning "structure defined inside
> parms".
> @item
> In the first case, when used inside a function, gcc gives a warning
> "unused variable `dummy'".

In the second and third item, please don't use plain double quotes ".."
nor GNU-style quotes `..' (in non-verbatim regions).  The right
substitutes would be ``..'' and @samp{..} respectively, I believe.

> @end itemize

Cheers,
Ralf