Bruno Haible <[EMAIL PROTECTED]> 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?)
_______________________________________________
bug-gnulib mailing list
bug-gnulib@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-gnulib
