on Tue Sep 13 2011, Ben Robinson <icaretaker-AT-gmail.com> wrote:
This submission would make it possible to write a complete set of unit tests for meta-programs, to test both the positive, compiling statements, and the negative, non-compiling statements. These tests will all compile, and the negative tests can throw an exception instead of failing to compile.
Is anybody interested in this capability, and/or my modifications to the single file boost/mpl/assert.hpp which have enabled this capability?
If you're just checking MPL assertions, then presumably there's a predicate that can be evaluated without throwing. Why not just feed those predicates' results to regular runtime assertions? Doesn't seem like we need a new tool. The very point of BOOST_MPL_ASSERT_* is to catch errors at compile time. If you want something else, there are plenty of appropriate choices. -- Dave Abrahams BoostPro Computing http://www.boostpro.com