boostorg/fusion
1
0
Fork 1
mirror of https://github.com/boostorg/fusion.git synced 2025-07-29 12:07:36 +02:00
Code Issues Packages Projects Releases Wiki Activity

fusion::tag_of/fusion::detail::is_specialized should not complain for non-adapted std::pair/boost::array/...

Browse Source 
[SVN r61836]
This commit is contained in:
Christopher Schmidt
2010-05-07 15:02:22 +00:00
parent 6465c3b3ea
commit 11228c420f
1 changed files with 1 additions and 36 deletions
Download Patch File Download Diff File Expand all files Collapse all files

37
include/boost/fusion/support/tag_of.hpp
View File

@ -46,39 +46,6 @@ namespace boost { namespace fusion
namespace detail namespace detail
{ {
BOOST_MPL_HAS_XXX_TRAIT_DEF(fusion_tag) BOOST_MPL_HAS_XXX_TRAIT_DEF(fusion_tag)
template<typename Sequence>
struct is_specialized
: mpl::false_
{};
template <
class T0, class T1, class T2, class T3, class T4,
class T5, class T6, class T7, class T8, class T9
>
struct is_specialized<tuples::tuple<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> >
: mpl::true_
{};
template <class Head, class Tail>
struct is_specialized<tuples::cons<Head, Tail> >
: mpl::true_
{};
template <>
struct is_specialized<tuples::null_type>
: mpl::true_
{};
template <typename T, std::size_t N>
struct is_specialized<boost::array<T, N> >
: mpl::true_
{};
template<typename T1, typename T2>
struct is_specialized<std::pair<T1, T2> >
: mpl::true_
{};
} }
namespace traits namespace traits
@ -88,9 +55,7 @@ namespace boost { namespace fusion
: mpl::if_< fusion::detail::is_mpl_sequence<Sequence>, : mpl::if_< fusion::detail::is_mpl_sequence<Sequence>,
mpl::identity<mpl_sequence_tag>, mpl::identity<mpl_sequence_tag>,
mpl::identity<non_fusion_tag> >::type mpl::identity<non_fusion_tag> >::type
{ {};
BOOST_MPL_ASSERT_NOT((fusion::detail::is_specialized<Sequence>));
};
template <typename Sequence> template <typename Sequence>
struct tag_of<Sequence, typename boost::enable_if<detail::has_fusion_tag<Sequence> >::type> struct tag_of<Sequence, typename boost::enable_if<detail::has_fusion_tag<Sequence> >::type>