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
