https://svn.lrde.epita.fr/svn/oln/trunk/metalic Index: ChangeLog from Roland Levillain &lt;roland(a)lrde.epita.fr&gt; Fix mlc::abort. * mlc/abort.hh (mlc::abort_): Inherit from internal::check_ (from mlc/assert.hh's) to obtain the right behavior from mlc::abort_. (mlc::abort_::check): New class method. abort.hh | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) Index: mlc/abort.hh --- mlc/abort.hh (revision 531) +++ mlc/abort.hh (working copy) @@ -93,8 +93,19 @@ // private assert_< not_<mlc_is_a(T, abstract::bexpr)>, // mlc::ERROR::FIRST_PARAMETER_OF_mlc_abort_SHOULD_NOT_BE_an_abstract_bexpr >, - public internal::always_false_<T> + /// Basically, an mlc::abort_ is nothing much than a failed mlc::assert_; + /// hence mlc::abort_ borrows this base class from mlc::assert_. + /// + /// \see mlc/assert.hh + public virtual internal::check_< + internal::always_false_<T>, + typename internal::always_false_<T>::is_true + > { + public: + /// This method is used to trigger a static abortion within + /// a function body. + static void check() {} protected: abort_() {} };