A student pointed out that Boost has a BOOST_STATIC_ASSERT(x) macro that acts like verify(x) but is defined in a much more-complicated way. See <http://boost.org/boost/static_assert.hpp>. Boost's version has special cases for GCC, for MSVC, for SGI MIPSpro, etc., ,etc.
<verify.h> was originally designed for C, but I had thought that it would work for C++ compilers too. Is there some reason that a C++ implementation would need all that extra complexity to support <verify.h> properly, or am I missing something? I'm worried that verify.h will eventually need to gorp similar to Boost's. _______________________________________________ bug-gnulib mailing list bug-gnulib@gnu.org http://lists.gnu.org/mailman/listinfo/bug-gnulib
