bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [bug-gnulib] Re: new gnulib module "verify" for compile-time asserti


From: Paul Eggert
Subject: Re: [bug-gnulib] Re: new gnulib module "verify" for compile-time assertions
Date: Fri, 23 Sep 2005 14:54:20 -0700
User-agent: Gnus/5.1007 (Gnus v5.10.7) Emacs/21.4 (gnu/linux)

Bruno Haible <address@hidden> writes:

> Changing the verify_type__ macro like this makes it work without warning.
>
> # define verify_type__(R) \
>     struct { int verify_error_if_negative_size__ : (R) ? 2 : -1; }

Thanks.  I installed that.

I'm thinking of talking about verify.h in my programming language
class, as an example of how tricky real-world language-lawyering can
get when you're trying to solve what ought to be a trivial task.
Perhaps I can scare a few more students into taking ML and Smalltalk
seriously.  (On the other hand, could one even write the equivalent of
verify.h in ML and Smalltalk?)




reply via email to

[Prev in Thread] Current Thread [Next in Thread]