From: Reid Sweatman (borderland_at_[hidden])
Date: 2000-07-31 10:33:31
> "checked") inside the system (Godel, said that, I think). I think
> the point
> of an axiom is to make your assumptions so simple on the face of it that
> even skeptics are willing to concede them. But our compile-time assert is
> inherently provable, or there would be no point in writing it!
Admittedly the semiotics of AXIOM() aren't quite on target, but they're
pretty close. You could also have used A_PRIORI().
> P.S. I like COMPILE_TIME_ASSERT
Me, too, but how about MAKE_IT_SO? <ordinality of the Cantor set of a grin>
In a mood to pick nits, because I'm listening to mentally destructive music
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk