id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
4357,mpl::equal for associative sequences,anonymous,Joel Falcou,"this is not a bug, as the current behaviour is documented correctly, but I think mpl::equal<> should return equality for mpl::set<>s that are equal but are not in the same sequence.
something like:

struct equal :
  mpl::and_<
    mpl::equal_to<
      mpl::size<Set1>,
      mpl::size<Set2>
    >,
    mpl::fold<
      Set1,
      mpl::true_,
      mpl::and_<
        mpl::_1,
        mpl::has_key<Set2,mpl::_2>
      >
    >
  >{};

also I think it would be usable for equal sets to be runtime-convertible.

template<...>
struct set{
  template<class OtherSet>
  set(OtherSet,typename enable_if<equal<set,OtherSet> >::type *e=0){}
};

so you can do this:

void f(set<e1,e2>);

f(set<e2,e1>());

the same might be usable for mpl::map.
",Feature Requests,new,Boost 1.46.0,mpl,Boost 1.44.0,Problem,,,joel.falcou@…