Hi, I've encountered some compile errors using is_incrementable with VC6. They can be fixed by fully qualifying remove_cv and by using macros from type traits to define the traits is_incrementable and is_postfix_incrementable: # include <boost/type_traits/detail/bool_trait_def.hpp> .... // Local macro, #undef'd below # define BOOST_DETAIL_BOOL_TRAIT_DEF1(trait,T,C) \ template< typename T > struct trait \ BOOST_TT_AUX_BOOL_C_BASE(C) \ { \ BOOST_TT_AUX_BOOL_TRAIT_VALUE_DECL(C) \ }; \ /**/ BOOST_DETAIL_BOOL_TRAIT_DEF1(is_incrementable, T, ::boost::detail::is_incrementable_::impl<T>::value) BOOST_DETAIL_BOOL_TRAIT_DEF1(is_postfix_incrementable, T, ::boost::detail::is_incrementable_::postfix_impl<T>::value) # undef BOOST_DETAIL_BOOL_TRAIT_DEF1 Can I go ahead and add this stuff? Also, should I put in lambda and template arity support? Other options would be: * add a header detail/bool_trait_def.hpp for defining traits in namespace detail. * write a macro for generating traits like is_incrementable Jonathan