Re: [boost] [proto][1.43] Problem with proto::matches

Subject: Re: [boost] [proto][1.43] Problem with proto::matches
From: Antoine de Maricourt (antoine.de-maricourt_at_[hidden])
Date: 2010-08-07 09:52:37

Le 07/08/2010 00:00, Eric Niebler a écrit :
> Can you please send a program I can use to reproduce the error?

The most simple form I came to is below:

#include <boost/proto/proto.hpp>

namespace bp = boost::proto;

template <typename A> struct B
   : bp::terminal<A>::type { };

int main()
{
   BOOST_MPL_ASSERT((
     bp::matches< bp::terminal< B<int[2]> >::type, bp::terminal< 
B<bp::_> > > ));
}

Best regards,

     Antoine