#include <boost/mpl/copy_if.hpp>
#include <boost/mpl/end.hpp>
#include <boost/mpl/erase.hpp>
#include <boost/mpl/find.hpp>
#include <boost/mpl/identity.hpp>
#include <boost/mpl/next.hpp>
#include <boost/mpl/not.hpp>
#include <boost/type_traits/is_same.hpp>

namespace mpl=boost::mpl;

template<typename Seq,typename T>
struct eraseVal
{
   template<typename Iter>
   struct eraseValRecurse:
     eraseVal<typename mpl::erase<Seq,Iter>::type,T>
   {};

   typedef typename mpl::find<Seq,T>::type iter;

   typedef typename mpl::eval_if<
     boost::is_same<iter,typename mpl::end<Seq>::type>,
     mpl::identity<Seq>,
     eraseValRecurse<iter>
   >::type type;
};

template<typename Seq,typename T>
struct eraseVal2:mpl::copy_if<Seq,mpl::not_<boost::is_same<mpl::_,T> > >
{};


/**** testing ****/

#include <boost/mpl/assert.hpp>
#include <boost/mpl/vector.hpp>
#include <boost/mpl/equal.hpp>

template<template<typename,typename> class EraseValAlgorithm>
struct testEraseValAlgorithm
{
  typedef mpl::vector<int,char,int,char,unsigned>       v1;

  typedef typename EraseValAlgorithm<v1,char>::type     v2;
  BOOST_MPL_ASSERT((
    mpl::equal<v2,mpl::vector<int,int,unsigned> >
  ));

  typedef typename EraseValAlgorithm<v2,float>::type    v3;
  BOOST_MPL_ASSERT((
    mpl::equal<v3,mpl::vector<int,int,unsigned> >
  ));

  typedef typename EraseValAlgorithm<v3,unsigned>::type v4;
  BOOST_MPL_ASSERT((
    mpl::equal<v4,mpl::vector<int,int> >
  ));

  typedef typename EraseValAlgorithm<v4,int>::type      v5;
  BOOST_MPL_ASSERT((
    mpl::equal<v5,mpl::vector<> >
  ));
};

template testEraseValAlgorithm<eraseVal>;
template testEraseValAlgorithm<eraseVal2>;

int main(){}