|
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?)
[Prev in Thread] | Current Thread | [Next in Thread] |