Re: [Boost-bugs] [Boost C++ Libraries] #816: duplicat initial members -> erase_key postcond. fail

Subject: Re: [Boost-bugs] [Boost C++ Libraries] #816: duplicat initial members -> erase_key postcond. fail
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2007-08-19 15:37:45

#816: duplicat initial members -> erase_key postcond. fail
-------------------------------+--------------------------------------------
  Reporter:  cppljevans        |       Owner:  agurtovoy
      Type:  Support Requests  |      Status:  assigned 
 Milestone:                    |   Component:  mpl      
   Version:  None              |    Severity:  Problem  
Resolution:  None              |    Keywords:           
-------------------------------+--------------------------------------------
Changes (by marshall):

  * component:  None => mpl
  * severity:  => Problem

Old description:

> {{{
> has_key<erase_key<set<T,T>,T>::type>type::value==true
> in violation of Postcondition on
> http://www.boost.org/libs/mpl/doc/refmanual/erase-key.html .
>
> }}}

New description:

 {{{
 has_key<erase_key<set<T,T>,T>::type>type::value==true
 in violation of Postcondition on
 http://www.boost.org/libs/mpl/doc/refmanual/erase-key.html .

 }}}

-- 
Ticket URL: <http://svn.boost.org/trac/boost/ticket/816#comment:2>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.