https://svn.lrde.epita.fr/svn/oln/trunk/metalic Index: ChangeLog from Thierry Geraud &lt;theo(a)lrde.epita.fr&gt; Some non significative update. * mlc/ret.hh (typedef_::ret): Move from namespace global to mlc and update file contents. * mlc/bool.hh (assert_::ensure): New method so that the user can form "assert_<bexpr, error_msg>::ensure();" * mlc/TODO: New. TODO | 5 +++++ bool.hh | 2 ++ ret.hh | 13 ++++++++++--- 3 files changed, 17 insertions(+), 3 deletions(-) Index: mlc/ret.hh --- mlc/ret.hh (revision 418) +++ mlc/ret.hh (working copy) @@ -38,14 +38,21 @@ ** a default equipment for this particular typedef. FIXME: doc */ +namespace mlc +{ + mlc_decl_typedef(ret); -# define mlc_ret(Type) typename typedef_::ret::from_<Type>::ret +} // end of namespace mlc + + + +# define mlc_ret(Type) typename mlc::typedef_::ret::from_<Type>::ret // test code -# define mlc_ret2(Type) typename typedef_::ret::from_<Type>::ret2 +# define mlc_ret2(Type) typename mlc::typedef_::ret::from_<Type>::ret2 namespace mlc @@ -53,7 +60,7 @@ template <typename T> struct ret_found_in_ - : public mlc::eq_< typename typedef_::ret::from_<T>::ret2::first_elt, + : public mlc::eq_< typename mlc::typedef_::ret::from_<T>::ret2::first_elt, mlc::found > {}; Index: mlc/bool.hh --- mlc/bool.hh (revision 418) +++ mlc/bool.hh (working copy) @@ -278,6 +278,8 @@ struct assert_ : public virtual internal::check_<bexpr, typename bexpr::is_true> { + public: + static void ensure() {} protected: assert_() {} }; Index: mlc/TODO --- mlc/TODO (revision 0) +++ mlc/TODO (revision 0) @@ -0,0 +1,5 @@ + -*- outline -*- + +* files + +create assert.hh from bool.hh