Chris@16:     ///////////////////////////////////////////////////////////////////////////////
Chris@16:     /// \file make.hpp
Chris@16:     /// Contains definition of the make<> transform.
Chris@16:     //
Chris@16:     //  Copyright 2008 Eric Niebler. Distributed under the Boost
Chris@16:     //  Software License, Version 1.0. (See accompanying file
Chris@16:     //  LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16:     namespace detail
Chris@16:     {
Chris@16:         template<typename R >
Chris@16:         struct is_applyable<R()>
Chris@16:           : mpl::true_
Chris@16:         {};
Chris@16:         template<typename R >
Chris@16:         struct is_applyable<R(*)()>
Chris@16:           : mpl::true_
Chris@16:         {};
Chris@16:         template<typename T, typename A>
Chris@16:         struct construct_<proto::expr<T, A, 0>, true>
Chris@16:         {
Chris@16:             typedef proto::expr<T, A, 0> result_type;
Chris@16:             template<typename A0>
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(A0 &a0) const
Chris@16:             {
Chris@16:                 return result_type::make(a0);
Chris@16:             }
Chris@16:         };
Chris@16:         template<typename T, typename A>
Chris@16:         struct construct_<proto::basic_expr<T, A, 0>, true>
Chris@16:         {
Chris@16:             typedef proto::basic_expr<T, A, 0> result_type;
Chris@16:             template<typename A0>
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(A0 &a0) const
Chris@16:             {
Chris@16:                 return result_type::make(a0);
Chris@16:             }
Chris@16:         };
Chris@16:         template<typename Type >
Chris@16:         BOOST_FORCEINLINE
Chris@16:         Type construct()
Chris@16:         {
Chris@16:             return construct_<Type>()();
Chris@16:         }
Chris@16:     } 
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object >
Chris@16:     struct make<Object()>
Chris@16:       : transform<make<Object()> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl : transform_impl<Expr, State, Data>
Chris@16:         {
Chris@16:             
Chris@16:             typedef typename detail::make_if_<Object, Expr, State, Data>::type result_type;
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(
Chris@16:                 typename impl::expr_param e
Chris@16:               , typename impl::state_param s
Chris@16:               , typename impl::data_param d
Chris@16:             ) const
Chris@16:             {
Chris@16:                 proto::detail::ignore_unused(e);
Chris@16:                 proto::detail::ignore_unused(s);
Chris@16:                 proto::detail::ignore_unused(d);
Chris@16:                 return detail::construct<result_type>();
Chris@16:             }
Chris@16:         };
Chris@16:     };
Chris@16:     namespace detail
Chris@16:     {
Chris@16:         template<
Chris@16:             template<typename> class R
Chris@16:             , typename A0
Chris@16:           , typename Expr, typename State, typename Data
Chris@16:         >
Chris@16:         struct make_<
Chris@16:             R<A0>
Chris@16:           , Expr, State, Data
Chris@16:             BOOST_PROTO_TEMPLATE_ARITY_PARAM(1)
Chris@16:         >
Chris@16:           : nested_type_if<
Chris@16:                 R<typename make_if_<A0, Expr, State, Data> ::type>
Chris@16:               , (make_if_<A0, Expr, State, Data> ::applied || false)
Chris@16:             >
Chris@16:         {};
Chris@16:         template<
Chris@16:             template<typename> class R
Chris@16:             , typename A0
Chris@16:           , typename Expr, typename State, typename Data
Chris@16:         >
Chris@16:         struct make_<
Chris@16:             noinvoke<R<A0> >
Chris@16:           , Expr, State, Data
Chris@16:             BOOST_PROTO_TEMPLATE_ARITY_PARAM(1)
Chris@16:         >
Chris@16:         {
Chris@16:             typedef R<typename make_if_<A0, Expr, State, Data> ::type> type;
Chris@16:             static bool const applied = true;
Chris@16:         };
Chris@16:         template<typename R , typename A0>
Chris@16:         struct is_applyable<R(A0)>
Chris@16:           : mpl::true_
Chris@16:         {};
Chris@16:         template<typename R , typename A0>
Chris@16:         struct is_applyable<R(*)(A0)>
Chris@16:           : mpl::true_
Chris@16:         {};
Chris@16:         template<typename T, typename A>
Chris@16:         struct construct_<proto::expr<T, A, 1>, true>
Chris@16:         {
Chris@16:             typedef proto::expr<T, A, 1> result_type;
Chris@16:             template<typename A0>
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(A0 &a0) const
Chris@16:             {
Chris@16:                 return result_type::make(a0);
Chris@16:             }
Chris@16:         };
Chris@16:         template<typename T, typename A>
Chris@16:         struct construct_<proto::basic_expr<T, A, 1>, true>
Chris@16:         {
Chris@16:             typedef proto::basic_expr<T, A, 1> result_type;
Chris@16:             template<typename A0>
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(A0 &a0) const
Chris@16:             {
Chris@16:                 return result_type::make(a0);
Chris@16:             }
Chris@16:         };
Chris@16:         template<typename Type , typename A0>
Chris@16:         BOOST_FORCEINLINE
Chris@16:         Type construct(A0 &a0)
Chris@16:         {
Chris@16:             return construct_<Type>()(a0);
Chris@16:         }
Chris@16:     } 
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0>
Chris@16:     struct make<Object(A0)>
Chris@16:       : transform<make<Object(A0)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl : transform_impl<Expr, State, Data>
Chris@16:         {
Chris@16:             
Chris@16:             typedef typename detail::make_if_<Object, Expr, State, Data>::type result_type;
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(
Chris@16:                 typename impl::expr_param e
Chris@16:               , typename impl::state_param s
Chris@16:               , typename impl::data_param d
Chris@16:             ) const
Chris@16:             {
Chris@16:                 proto::detail::ignore_unused(e);
Chris@16:                 proto::detail::ignore_unused(s);
Chris@16:                 proto::detail::ignore_unused(d);
Chris@16:                 return detail::construct<result_type>(detail::as_lvalue( typename when<_, A0>::template impl<Expr, State, Data>()(e, s, d) ));
Chris@16:             }
Chris@16:         };
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0>
Chris@16:     struct make<Object(A0...)>
Chris@16:       : transform<make<Object(A0...)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : make<
Chris@16:                 typename detail::expand_pattern<
Chris@16:                     proto::arity_of<Expr>::value
Chris@16:                   , A0
Chris@16:                   , detail::expand_pattern_rest_0<
Chris@16:                         Object
Chris@16:                         
Chris@16:                     >
Chris@16:                 >::type
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     namespace detail
Chris@16:     {
Chris@16:         template<
Chris@16:             template<typename , typename> class R
Chris@16:             , typename A0 , typename A1
Chris@16:           , typename Expr, typename State, typename Data
Chris@16:         >
Chris@16:         struct make_<
Chris@16:             R<A0 , A1>
Chris@16:           , Expr, State, Data
Chris@16:             BOOST_PROTO_TEMPLATE_ARITY_PARAM(2)
Chris@16:         >
Chris@16:           : nested_type_if<
Chris@16:                 R<typename make_if_<A0, Expr, State, Data> ::type , typename make_if_<A1, Expr, State, Data> ::type>
Chris@16:               , (make_if_<A0, Expr, State, Data> ::applied || make_if_<A1, Expr, State, Data> ::applied || false)
Chris@16:             >
Chris@16:         {};
Chris@16:         template<
Chris@16:             template<typename , typename> class R
Chris@16:             , typename A0 , typename A1
Chris@16:           , typename Expr, typename State, typename Data
Chris@16:         >
Chris@16:         struct make_<
Chris@16:             noinvoke<R<A0 , A1> >
Chris@16:           , Expr, State, Data
Chris@16:             BOOST_PROTO_TEMPLATE_ARITY_PARAM(1)
Chris@16:         >
Chris@16:         {
Chris@16:             typedef R<typename make_if_<A0, Expr, State, Data> ::type , typename make_if_<A1, Expr, State, Data> ::type> type;
Chris@16:             static bool const applied = true;
Chris@16:         };
Chris@16:         template<typename R , typename A0 , typename A1>
Chris@16:         struct is_applyable<R(A0 , A1)>
Chris@16:           : mpl::true_
Chris@16:         {};
Chris@16:         template<typename R , typename A0 , typename A1>
Chris@16:         struct is_applyable<R(*)(A0 , A1)>
Chris@16:           : mpl::true_
Chris@16:         {};
Chris@16:         template<typename T, typename A>
Chris@16:         struct construct_<proto::expr<T, A, 2>, true>
Chris@16:         {
Chris@16:             typedef proto::expr<T, A, 2> result_type;
Chris@16:             template<typename A0 , typename A1>
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(A0 &a0 , A1 &a1) const
Chris@16:             {
Chris@16:                 return result_type::make(a0 , a1);
Chris@16:             }
Chris@16:         };
Chris@16:         template<typename T, typename A>
Chris@16:         struct construct_<proto::basic_expr<T, A, 2>, true>
Chris@16:         {
Chris@16:             typedef proto::basic_expr<T, A, 2> result_type;
Chris@16:             template<typename A0 , typename A1>
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(A0 &a0 , A1 &a1) const
Chris@16:             {
Chris@16:                 return result_type::make(a0 , a1);
Chris@16:             }
Chris@16:         };
Chris@16:         template<typename Type , typename A0 , typename A1>
Chris@16:         BOOST_FORCEINLINE
Chris@16:         Type construct(A0 &a0 , A1 &a1)
Chris@16:         {
Chris@16:             return construct_<Type>()(a0 , a1);
Chris@16:         }
Chris@16:     } 
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1>
Chris@16:     struct make<Object(A0 , A1)>
Chris@16:       : transform<make<Object(A0 , A1)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl : transform_impl<Expr, State, Data>
Chris@16:         {
Chris@16:             
Chris@16:             typedef typename detail::make_if_<Object, Expr, State, Data>::type result_type;
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(
Chris@16:                 typename impl::expr_param e
Chris@16:               , typename impl::state_param s
Chris@16:               , typename impl::data_param d
Chris@16:             ) const
Chris@16:             {
Chris@16:                 proto::detail::ignore_unused(e);
Chris@16:                 proto::detail::ignore_unused(s);
Chris@16:                 proto::detail::ignore_unused(d);
Chris@16:                 return detail::construct<result_type>(detail::as_lvalue( typename when<_, A0>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A1>::template impl<Expr, State, Data>()(e, s, d) ));
Chris@16:             }
Chris@16:         };
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1>
Chris@16:     struct make<Object(A0 , A1...)>
Chris@16:       : transform<make<Object(A0 , A1...)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : make<
Chris@16:                 typename detail::expand_pattern<
Chris@16:                     proto::arity_of<Expr>::value
Chris@16:                   , A1
Chris@16:                   , detail::expand_pattern_rest_1<
Chris@16:                         Object
Chris@16:                         , A0
Chris@16:                     >
Chris@16:                 >::type
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     namespace detail
Chris@16:     {
Chris@16:         template<
Chris@16:             template<typename , typename , typename> class R
Chris@16:             , typename A0 , typename A1 , typename A2
Chris@16:           , typename Expr, typename State, typename Data
Chris@16:         >
Chris@16:         struct make_<
Chris@16:             R<A0 , A1 , A2>
Chris@16:           , Expr, State, Data
Chris@16:             BOOST_PROTO_TEMPLATE_ARITY_PARAM(3)
Chris@16:         >
Chris@16:           : nested_type_if<
Chris@16:                 R<typename make_if_<A0, Expr, State, Data> ::type , typename make_if_<A1, Expr, State, Data> ::type , typename make_if_<A2, Expr, State, Data> ::type>
Chris@16:               , (make_if_<A0, Expr, State, Data> ::applied || make_if_<A1, Expr, State, Data> ::applied || make_if_<A2, Expr, State, Data> ::applied || false)
Chris@16:             >
Chris@16:         {};
Chris@16:         template<
Chris@16:             template<typename , typename , typename> class R
Chris@16:             , typename A0 , typename A1 , typename A2
Chris@16:           , typename Expr, typename State, typename Data
Chris@16:         >
Chris@16:         struct make_<
Chris@16:             noinvoke<R<A0 , A1 , A2> >
Chris@16:           , Expr, State, Data
Chris@16:             BOOST_PROTO_TEMPLATE_ARITY_PARAM(1)
Chris@16:         >
Chris@16:         {
Chris@16:             typedef R<typename make_if_<A0, Expr, State, Data> ::type , typename make_if_<A1, Expr, State, Data> ::type , typename make_if_<A2, Expr, State, Data> ::type> type;
Chris@16:             static bool const applied = true;
Chris@16:         };
Chris@16:         template<typename R , typename A0 , typename A1 , typename A2>
Chris@16:         struct is_applyable<R(A0 , A1 , A2)>
Chris@16:           : mpl::true_
Chris@16:         {};
Chris@16:         template<typename R , typename A0 , typename A1 , typename A2>
Chris@16:         struct is_applyable<R(*)(A0 , A1 , A2)>
Chris@16:           : mpl::true_
Chris@16:         {};
Chris@16:         template<typename T, typename A>
Chris@16:         struct construct_<proto::expr<T, A, 3>, true>
Chris@16:         {
Chris@16:             typedef proto::expr<T, A, 3> result_type;
Chris@16:             template<typename A0 , typename A1 , typename A2>
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2) const
Chris@16:             {
Chris@16:                 return result_type::make(a0 , a1 , a2);
Chris@16:             }
Chris@16:         };
Chris@16:         template<typename T, typename A>
Chris@16:         struct construct_<proto::basic_expr<T, A, 3>, true>
Chris@16:         {
Chris@16:             typedef proto::basic_expr<T, A, 3> result_type;
Chris@16:             template<typename A0 , typename A1 , typename A2>
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2) const
Chris@16:             {
Chris@16:                 return result_type::make(a0 , a1 , a2);
Chris@16:             }
Chris@16:         };
Chris@16:         template<typename Type , typename A0 , typename A1 , typename A2>
Chris@16:         BOOST_FORCEINLINE
Chris@16:         Type construct(A0 &a0 , A1 &a1 , A2 &a2)
Chris@16:         {
Chris@16:             return construct_<Type>()(a0 , a1 , a2);
Chris@16:         }
Chris@16:     } 
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2>
Chris@16:     struct make<Object(A0 , A1 , A2)>
Chris@16:       : transform<make<Object(A0 , A1 , A2)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl : transform_impl<Expr, State, Data>
Chris@16:         {
Chris@16:             
Chris@16:             typedef typename detail::make_if_<Object, Expr, State, Data>::type result_type;
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(
Chris@16:                 typename impl::expr_param e
Chris@16:               , typename impl::state_param s
Chris@16:               , typename impl::data_param d
Chris@16:             ) const
Chris@16:             {
Chris@16:                 proto::detail::ignore_unused(e);
Chris@16:                 proto::detail::ignore_unused(s);
Chris@16:                 proto::detail::ignore_unused(d);
Chris@16:                 return detail::construct<result_type>(detail::as_lvalue( typename when<_, A0>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A1>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A2>::template impl<Expr, State, Data>()(e, s, d) ));
Chris@16:             }
Chris@16:         };
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2>
Chris@16:     struct make<Object(A0 , A1 , A2...)>
Chris@16:       : transform<make<Object(A0 , A1 , A2...)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : make<
Chris@16:                 typename detail::expand_pattern<
Chris@16:                     proto::arity_of<Expr>::value
Chris@16:                   , A2
Chris@16:                   , detail::expand_pattern_rest_2<
Chris@16:                         Object
Chris@16:                         , A0 , A1
Chris@16:                     >
Chris@16:                 >::type
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     namespace detail
Chris@16:     {
Chris@16:         template<
Chris@16:             template<typename , typename , typename , typename> class R
Chris@16:             , typename A0 , typename A1 , typename A2 , typename A3
Chris@16:           , typename Expr, typename State, typename Data
Chris@16:         >
Chris@16:         struct make_<
Chris@16:             R<A0 , A1 , A2 , A3>
Chris@16:           , Expr, State, Data
Chris@16:             BOOST_PROTO_TEMPLATE_ARITY_PARAM(4)
Chris@16:         >
Chris@16:           : nested_type_if<
Chris@16:                 R<typename make_if_<A0, Expr, State, Data> ::type , typename make_if_<A1, Expr, State, Data> ::type , typename make_if_<A2, Expr, State, Data> ::type , typename make_if_<A3, Expr, State, Data> ::type>
Chris@16:               , (make_if_<A0, Expr, State, Data> ::applied || make_if_<A1, Expr, State, Data> ::applied || make_if_<A2, Expr, State, Data> ::applied || make_if_<A3, Expr, State, Data> ::applied || false)
Chris@16:             >
Chris@16:         {};
Chris@16:         template<
Chris@16:             template<typename , typename , typename , typename> class R
Chris@16:             , typename A0 , typename A1 , typename A2 , typename A3
Chris@16:           , typename Expr, typename State, typename Data
Chris@16:         >
Chris@16:         struct make_<
Chris@16:             noinvoke<R<A0 , A1 , A2 , A3> >
Chris@16:           , Expr, State, Data
Chris@16:             BOOST_PROTO_TEMPLATE_ARITY_PARAM(1)
Chris@16:         >
Chris@16:         {
Chris@16:             typedef R<typename make_if_<A0, Expr, State, Data> ::type , typename make_if_<A1, Expr, State, Data> ::type , typename make_if_<A2, Expr, State, Data> ::type , typename make_if_<A3, Expr, State, Data> ::type> type;
Chris@16:             static bool const applied = true;
Chris@16:         };
Chris@16:         template<typename R , typename A0 , typename A1 , typename A2 , typename A3>
Chris@16:         struct is_applyable<R(A0 , A1 , A2 , A3)>
Chris@16:           : mpl::true_
Chris@16:         {};
Chris@16:         template<typename R , typename A0 , typename A1 , typename A2 , typename A3>
Chris@16:         struct is_applyable<R(*)(A0 , A1 , A2 , A3)>
Chris@16:           : mpl::true_
Chris@16:         {};
Chris@16:         template<typename T, typename A>
Chris@16:         struct construct_<proto::expr<T, A, 4>, true>
Chris@16:         {
Chris@16:             typedef proto::expr<T, A, 4> result_type;
Chris@16:             template<typename A0 , typename A1 , typename A2 , typename A3>
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3) const
Chris@16:             {
Chris@16:                 return result_type::make(a0 , a1 , a2 , a3);
Chris@16:             }
Chris@16:         };
Chris@16:         template<typename T, typename A>
Chris@16:         struct construct_<proto::basic_expr<T, A, 4>, true>
Chris@16:         {
Chris@16:             typedef proto::basic_expr<T, A, 4> result_type;
Chris@16:             template<typename A0 , typename A1 , typename A2 , typename A3>
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3) const
Chris@16:             {
Chris@16:                 return result_type::make(a0 , a1 , a2 , a3);
Chris@16:             }
Chris@16:         };
Chris@16:         template<typename Type , typename A0 , typename A1 , typename A2 , typename A3>
Chris@16:         BOOST_FORCEINLINE
Chris@16:         Type construct(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3)
Chris@16:         {
Chris@16:             return construct_<Type>()(a0 , a1 , a2 , a3);
Chris@16:         }
Chris@16:     } 
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3>
Chris@16:     struct make<Object(A0 , A1 , A2 , A3)>
Chris@16:       : transform<make<Object(A0 , A1 , A2 , A3)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl : transform_impl<Expr, State, Data>
Chris@16:         {
Chris@16:             
Chris@16:             typedef typename detail::make_if_<Object, Expr, State, Data>::type result_type;
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(
Chris@16:                 typename impl::expr_param e
Chris@16:               , typename impl::state_param s
Chris@16:               , typename impl::data_param d
Chris@16:             ) const
Chris@16:             {
Chris@16:                 proto::detail::ignore_unused(e);
Chris@16:                 proto::detail::ignore_unused(s);
Chris@16:                 proto::detail::ignore_unused(d);
Chris@16:                 return detail::construct<result_type>(detail::as_lvalue( typename when<_, A0>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A1>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A2>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A3>::template impl<Expr, State, Data>()(e, s, d) ));
Chris@16:             }
Chris@16:         };
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3>
Chris@16:     struct make<Object(A0 , A1 , A2 , A3...)>
Chris@16:       : transform<make<Object(A0 , A1 , A2 , A3...)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : make<
Chris@16:                 typename detail::expand_pattern<
Chris@16:                     proto::arity_of<Expr>::value
Chris@16:                   , A3
Chris@16:                   , detail::expand_pattern_rest_3<
Chris@16:                         Object
Chris@16:                         , A0 , A1 , A2
Chris@16:                     >
Chris@16:                 >::type
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     namespace detail
Chris@16:     {
Chris@16:         template<
Chris@16:             template<typename , typename , typename , typename , typename> class R
Chris@16:             , typename A0 , typename A1 , typename A2 , typename A3 , typename A4
Chris@16:           , typename Expr, typename State, typename Data
Chris@16:         >
Chris@16:         struct make_<
Chris@16:             R<A0 , A1 , A2 , A3 , A4>
Chris@16:           , Expr, State, Data
Chris@16:             BOOST_PROTO_TEMPLATE_ARITY_PARAM(5)
Chris@16:         >
Chris@16:           : nested_type_if<
Chris@16:                 R<typename make_if_<A0, Expr, State, Data> ::type , typename make_if_<A1, Expr, State, Data> ::type , typename make_if_<A2, Expr, State, Data> ::type , typename make_if_<A3, Expr, State, Data> ::type , typename make_if_<A4, Expr, State, Data> ::type>
Chris@16:               , (make_if_<A0, Expr, State, Data> ::applied || make_if_<A1, Expr, State, Data> ::applied || make_if_<A2, Expr, State, Data> ::applied || make_if_<A3, Expr, State, Data> ::applied || make_if_<A4, Expr, State, Data> ::applied || false)
Chris@16:             >
Chris@16:         {};
Chris@16:         template<
Chris@16:             template<typename , typename , typename , typename , typename> class R
Chris@16:             , typename A0 , typename A1 , typename A2 , typename A3 , typename A4
Chris@16:           , typename Expr, typename State, typename Data
Chris@16:         >
Chris@16:         struct make_<
Chris@16:             noinvoke<R<A0 , A1 , A2 , A3 , A4> >
Chris@16:           , Expr, State, Data
Chris@16:             BOOST_PROTO_TEMPLATE_ARITY_PARAM(1)
Chris@16:         >
Chris@16:         {
Chris@16:             typedef R<typename make_if_<A0, Expr, State, Data> ::type , typename make_if_<A1, Expr, State, Data> ::type , typename make_if_<A2, Expr, State, Data> ::type , typename make_if_<A3, Expr, State, Data> ::type , typename make_if_<A4, Expr, State, Data> ::type> type;
Chris@16:             static bool const applied = true;
Chris@16:         };
Chris@16:         template<typename R , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
Chris@16:         struct is_applyable<R(A0 , A1 , A2 , A3 , A4)>
Chris@16:           : mpl::true_
Chris@16:         {};
Chris@16:         template<typename R , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
Chris@16:         struct is_applyable<R(*)(A0 , A1 , A2 , A3 , A4)>
Chris@16:           : mpl::true_
Chris@16:         {};
Chris@16:         template<typename T, typename A>
Chris@16:         struct construct_<proto::expr<T, A, 5>, true>
Chris@16:         {
Chris@16:             typedef proto::expr<T, A, 5> result_type;
Chris@16:             template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4) const
Chris@16:             {
Chris@16:                 return result_type::make(a0 , a1 , a2 , a3 , a4);
Chris@16:             }
Chris@16:         };
Chris@16:         template<typename T, typename A>
Chris@16:         struct construct_<proto::basic_expr<T, A, 5>, true>
Chris@16:         {
Chris@16:             typedef proto::basic_expr<T, A, 5> result_type;
Chris@16:             template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4) const
Chris@16:             {
Chris@16:                 return result_type::make(a0 , a1 , a2 , a3 , a4);
Chris@16:             }
Chris@16:         };
Chris@16:         template<typename Type , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
Chris@16:         BOOST_FORCEINLINE
Chris@16:         Type construct(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4)
Chris@16:         {
Chris@16:             return construct_<Type>()(a0 , a1 , a2 , a3 , a4);
Chris@16:         }
Chris@16:     } 
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
Chris@16:     struct make<Object(A0 , A1 , A2 , A3 , A4)>
Chris@16:       : transform<make<Object(A0 , A1 , A2 , A3 , A4)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl : transform_impl<Expr, State, Data>
Chris@16:         {
Chris@16:             
Chris@16:             typedef typename detail::make_if_<Object, Expr, State, Data>::type result_type;
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(
Chris@16:                 typename impl::expr_param e
Chris@16:               , typename impl::state_param s
Chris@16:               , typename impl::data_param d
Chris@16:             ) const
Chris@16:             {
Chris@16:                 proto::detail::ignore_unused(e);
Chris@16:                 proto::detail::ignore_unused(s);
Chris@16:                 proto::detail::ignore_unused(d);
Chris@16:                 return detail::construct<result_type>(detail::as_lvalue( typename when<_, A0>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A1>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A2>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A3>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A4>::template impl<Expr, State, Data>()(e, s, d) ));
Chris@16:             }
Chris@16:         };
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
Chris@16:     struct make<Object(A0 , A1 , A2 , A3 , A4...)>
Chris@16:       : transform<make<Object(A0 , A1 , A2 , A3 , A4...)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : make<
Chris@16:                 typename detail::expand_pattern<
Chris@16:                     proto::arity_of<Expr>::value
Chris@16:                   , A4
Chris@16:                   , detail::expand_pattern_rest_4<
Chris@16:                         Object
Chris@16:                         , A0 , A1 , A2 , A3
Chris@16:                     >
Chris@16:                 >::type
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     namespace detail
Chris@16:     {
Chris@16:         template<
Chris@16:             template<typename , typename , typename , typename , typename , typename> class R
Chris@16:             , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5
Chris@16:           , typename Expr, typename State, typename Data
Chris@16:         >
Chris@16:         struct make_<
Chris@16:             R<A0 , A1 , A2 , A3 , A4 , A5>
Chris@16:           , Expr, State, Data
Chris@16:             BOOST_PROTO_TEMPLATE_ARITY_PARAM(6)
Chris@16:         >
Chris@16:           : nested_type_if<
Chris@16:                 R<typename make_if_<A0, Expr, State, Data> ::type , typename make_if_<A1, Expr, State, Data> ::type , typename make_if_<A2, Expr, State, Data> ::type , typename make_if_<A3, Expr, State, Data> ::type , typename make_if_<A4, Expr, State, Data> ::type , typename make_if_<A5, Expr, State, Data> ::type>
Chris@16:               , (make_if_<A0, Expr, State, Data> ::applied || make_if_<A1, Expr, State, Data> ::applied || make_if_<A2, Expr, State, Data> ::applied || make_if_<A3, Expr, State, Data> ::applied || make_if_<A4, Expr, State, Data> ::applied || make_if_<A5, Expr, State, Data> ::applied || false)
Chris@16:             >
Chris@16:         {};
Chris@16:         template<
Chris@16:             template<typename , typename , typename , typename , typename , typename> class R
Chris@16:             , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5
Chris@16:           , typename Expr, typename State, typename Data
Chris@16:         >
Chris@16:         struct make_<
Chris@16:             noinvoke<R<A0 , A1 , A2 , A3 , A4 , A5> >
Chris@16:           , Expr, State, Data
Chris@16:             BOOST_PROTO_TEMPLATE_ARITY_PARAM(1)
Chris@16:         >
Chris@16:         {
Chris@16:             typedef R<typename make_if_<A0, Expr, State, Data> ::type , typename make_if_<A1, Expr, State, Data> ::type , typename make_if_<A2, Expr, State, Data> ::type , typename make_if_<A3, Expr, State, Data> ::type , typename make_if_<A4, Expr, State, Data> ::type , typename make_if_<A5, Expr, State, Data> ::type> type;
Chris@16:             static bool const applied = true;
Chris@16:         };
Chris@16:         template<typename R , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
Chris@16:         struct is_applyable<R(A0 , A1 , A2 , A3 , A4 , A5)>
Chris@16:           : mpl::true_
Chris@16:         {};
Chris@16:         template<typename R , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
Chris@16:         struct is_applyable<R(*)(A0 , A1 , A2 , A3 , A4 , A5)>
Chris@16:           : mpl::true_
Chris@16:         {};
Chris@16:         template<typename T, typename A>
Chris@16:         struct construct_<proto::expr<T, A, 6>, true>
Chris@16:         {
Chris@16:             typedef proto::expr<T, A, 6> result_type;
Chris@16:             template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5) const
Chris@16:             {
Chris@16:                 return result_type::make(a0 , a1 , a2 , a3 , a4 , a5);
Chris@16:             }
Chris@16:         };
Chris@16:         template<typename T, typename A>
Chris@16:         struct construct_<proto::basic_expr<T, A, 6>, true>
Chris@16:         {
Chris@16:             typedef proto::basic_expr<T, A, 6> result_type;
Chris@16:             template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5) const
Chris@16:             {
Chris@16:                 return result_type::make(a0 , a1 , a2 , a3 , a4 , a5);
Chris@16:             }
Chris@16:         };
Chris@16:         template<typename Type , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
Chris@16:         BOOST_FORCEINLINE
Chris@16:         Type construct(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5)
Chris@16:         {
Chris@16:             return construct_<Type>()(a0 , a1 , a2 , a3 , a4 , a5);
Chris@16:         }
Chris@16:     } 
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
Chris@16:     struct make<Object(A0 , A1 , A2 , A3 , A4 , A5)>
Chris@16:       : transform<make<Object(A0 , A1 , A2 , A3 , A4 , A5)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl : transform_impl<Expr, State, Data>
Chris@16:         {
Chris@16:             
Chris@16:             typedef typename detail::make_if_<Object, Expr, State, Data>::type result_type;
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(
Chris@16:                 typename impl::expr_param e
Chris@16:               , typename impl::state_param s
Chris@16:               , typename impl::data_param d
Chris@16:             ) const
Chris@16:             {
Chris@16:                 proto::detail::ignore_unused(e);
Chris@16:                 proto::detail::ignore_unused(s);
Chris@16:                 proto::detail::ignore_unused(d);
Chris@16:                 return detail::construct<result_type>(detail::as_lvalue( typename when<_, A0>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A1>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A2>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A3>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A4>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A5>::template impl<Expr, State, Data>()(e, s, d) ));
Chris@16:             }
Chris@16:         };
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
Chris@16:     struct make<Object(A0 , A1 , A2 , A3 , A4 , A5...)>
Chris@16:       : transform<make<Object(A0 , A1 , A2 , A3 , A4 , A5...)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : make<
Chris@16:                 typename detail::expand_pattern<
Chris@16:                     proto::arity_of<Expr>::value
Chris@16:                   , A5
Chris@16:                   , detail::expand_pattern_rest_5<
Chris@16:                         Object
Chris@16:                         , A0 , A1 , A2 , A3 , A4
Chris@16:                     >
Chris@16:                 >::type
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     namespace detail
Chris@16:     {
Chris@16:         template<
Chris@16:             template<typename , typename , typename , typename , typename , typename , typename> class R
Chris@16:             , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6
Chris@16:           , typename Expr, typename State, typename Data
Chris@16:         >
Chris@16:         struct make_<
Chris@16:             R<A0 , A1 , A2 , A3 , A4 , A5 , A6>
Chris@16:           , Expr, State, Data
Chris@16:             BOOST_PROTO_TEMPLATE_ARITY_PARAM(7)
Chris@16:         >
Chris@16:           : nested_type_if<
Chris@16:                 R<typename make_if_<A0, Expr, State, Data> ::type , typename make_if_<A1, Expr, State, Data> ::type , typename make_if_<A2, Expr, State, Data> ::type , typename make_if_<A3, Expr, State, Data> ::type , typename make_if_<A4, Expr, State, Data> ::type , typename make_if_<A5, Expr, State, Data> ::type , typename make_if_<A6, Expr, State, Data> ::type>
Chris@16:               , (make_if_<A0, Expr, State, Data> ::applied || make_if_<A1, Expr, State, Data> ::applied || make_if_<A2, Expr, State, Data> ::applied || make_if_<A3, Expr, State, Data> ::applied || make_if_<A4, Expr, State, Data> ::applied || make_if_<A5, Expr, State, Data> ::applied || make_if_<A6, Expr, State, Data> ::applied || false)
Chris@16:             >
Chris@16:         {};
Chris@16:         template<
Chris@16:             template<typename , typename , typename , typename , typename , typename , typename> class R
Chris@16:             , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6
Chris@16:           , typename Expr, typename State, typename Data
Chris@16:         >
Chris@16:         struct make_<
Chris@16:             noinvoke<R<A0 , A1 , A2 , A3 , A4 , A5 , A6> >
Chris@16:           , Expr, State, Data
Chris@16:             BOOST_PROTO_TEMPLATE_ARITY_PARAM(1)
Chris@16:         >
Chris@16:         {
Chris@16:             typedef R<typename make_if_<A0, Expr, State, Data> ::type , typename make_if_<A1, Expr, State, Data> ::type , typename make_if_<A2, Expr, State, Data> ::type , typename make_if_<A3, Expr, State, Data> ::type , typename make_if_<A4, Expr, State, Data> ::type , typename make_if_<A5, Expr, State, Data> ::type , typename make_if_<A6, Expr, State, Data> ::type> type;
Chris@16:             static bool const applied = true;
Chris@16:         };
Chris@16:         template<typename R , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
Chris@16:         struct is_applyable<R(A0 , A1 , A2 , A3 , A4 , A5 , A6)>
Chris@16:           : mpl::true_
Chris@16:         {};
Chris@16:         template<typename R , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
Chris@16:         struct is_applyable<R(*)(A0 , A1 , A2 , A3 , A4 , A5 , A6)>
Chris@16:           : mpl::true_
Chris@16:         {};
Chris@16:         template<typename T, typename A>
Chris@16:         struct construct_<proto::expr<T, A, 7>, true>
Chris@16:         {
Chris@16:             typedef proto::expr<T, A, 7> result_type;
Chris@16:             template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6) const
Chris@16:             {
Chris@16:                 return result_type::make(a0 , a1 , a2 , a3 , a4 , a5 , a6);
Chris@16:             }
Chris@16:         };
Chris@16:         template<typename T, typename A>
Chris@16:         struct construct_<proto::basic_expr<T, A, 7>, true>
Chris@16:         {
Chris@16:             typedef proto::basic_expr<T, A, 7> result_type;
Chris@16:             template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6) const
Chris@16:             {
Chris@16:                 return result_type::make(a0 , a1 , a2 , a3 , a4 , a5 , a6);
Chris@16:             }
Chris@16:         };
Chris@16:         template<typename Type , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
Chris@16:         BOOST_FORCEINLINE
Chris@16:         Type construct(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6)
Chris@16:         {
Chris@16:             return construct_<Type>()(a0 , a1 , a2 , a3 , a4 , a5 , a6);
Chris@16:         }
Chris@16:     } 
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
Chris@16:     struct make<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6)>
Chris@16:       : transform<make<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl : transform_impl<Expr, State, Data>
Chris@16:         {
Chris@16:             
Chris@16:             typedef typename detail::make_if_<Object, Expr, State, Data>::type result_type;
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(
Chris@16:                 typename impl::expr_param e
Chris@16:               , typename impl::state_param s
Chris@16:               , typename impl::data_param d
Chris@16:             ) const
Chris@16:             {
Chris@16:                 proto::detail::ignore_unused(e);
Chris@16:                 proto::detail::ignore_unused(s);
Chris@16:                 proto::detail::ignore_unused(d);
Chris@16:                 return detail::construct<result_type>(detail::as_lvalue( typename when<_, A0>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A1>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A2>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A3>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A4>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A5>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A6>::template impl<Expr, State, Data>()(e, s, d) ));
Chris@16:             }
Chris@16:         };
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
Chris@16:     struct make<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6...)>
Chris@16:       : transform<make<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6...)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : make<
Chris@16:                 typename detail::expand_pattern<
Chris@16:                     proto::arity_of<Expr>::value
Chris@16:                   , A6
Chris@16:                   , detail::expand_pattern_rest_6<
Chris@16:                         Object
Chris@16:                         , A0 , A1 , A2 , A3 , A4 , A5
Chris@16:                     >
Chris@16:                 >::type
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     namespace detail
Chris@16:     {
Chris@16:         template<
Chris@16:             template<typename , typename , typename , typename , typename , typename , typename , typename> class R
Chris@16:             , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7
Chris@16:           , typename Expr, typename State, typename Data
Chris@16:         >
Chris@16:         struct make_<
Chris@16:             R<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>
Chris@16:           , Expr, State, Data
Chris@16:             BOOST_PROTO_TEMPLATE_ARITY_PARAM(8)
Chris@16:         >
Chris@16:           : nested_type_if<
Chris@16:                 R<typename make_if_<A0, Expr, State, Data> ::type , typename make_if_<A1, Expr, State, Data> ::type , typename make_if_<A2, Expr, State, Data> ::type , typename make_if_<A3, Expr, State, Data> ::type , typename make_if_<A4, Expr, State, Data> ::type , typename make_if_<A5, Expr, State, Data> ::type , typename make_if_<A6, Expr, State, Data> ::type , typename make_if_<A7, Expr, State, Data> ::type>
Chris@16:               , (make_if_<A0, Expr, State, Data> ::applied || make_if_<A1, Expr, State, Data> ::applied || make_if_<A2, Expr, State, Data> ::applied || make_if_<A3, Expr, State, Data> ::applied || make_if_<A4, Expr, State, Data> ::applied || make_if_<A5, Expr, State, Data> ::applied || make_if_<A6, Expr, State, Data> ::applied || make_if_<A7, Expr, State, Data> ::applied || false)
Chris@16:             >
Chris@16:         {};
Chris@16:         template<
Chris@16:             template<typename , typename , typename , typename , typename , typename , typename , typename> class R
Chris@16:             , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7
Chris@16:           , typename Expr, typename State, typename Data
Chris@16:         >
Chris@16:         struct make_<
Chris@16:             noinvoke<R<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7> >
Chris@16:           , Expr, State, Data
Chris@16:             BOOST_PROTO_TEMPLATE_ARITY_PARAM(1)
Chris@16:         >
Chris@16:         {
Chris@16:             typedef R<typename make_if_<A0, Expr, State, Data> ::type , typename make_if_<A1, Expr, State, Data> ::type , typename make_if_<A2, Expr, State, Data> ::type , typename make_if_<A3, Expr, State, Data> ::type , typename make_if_<A4, Expr, State, Data> ::type , typename make_if_<A5, Expr, State, Data> ::type , typename make_if_<A6, Expr, State, Data> ::type , typename make_if_<A7, Expr, State, Data> ::type> type;
Chris@16:             static bool const applied = true;
Chris@16:         };
Chris@16:         template<typename R , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
Chris@16:         struct is_applyable<R(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7)>
Chris@16:           : mpl::true_
Chris@16:         {};
Chris@16:         template<typename R , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
Chris@16:         struct is_applyable<R(*)(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7)>
Chris@16:           : mpl::true_
Chris@16:         {};
Chris@16:         template<typename T, typename A>
Chris@16:         struct construct_<proto::expr<T, A, 8>, true>
Chris@16:         {
Chris@16:             typedef proto::expr<T, A, 8> result_type;
Chris@16:             template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6 , A7 &a7) const
Chris@16:             {
Chris@16:                 return result_type::make(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7);
Chris@16:             }
Chris@16:         };
Chris@16:         template<typename T, typename A>
Chris@16:         struct construct_<proto::basic_expr<T, A, 8>, true>
Chris@16:         {
Chris@16:             typedef proto::basic_expr<T, A, 8> result_type;
Chris@16:             template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6 , A7 &a7) const
Chris@16:             {
Chris@16:                 return result_type::make(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7);
Chris@16:             }
Chris@16:         };
Chris@16:         template<typename Type , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
Chris@16:         BOOST_FORCEINLINE
Chris@16:         Type construct(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6 , A7 &a7)
Chris@16:         {
Chris@16:             return construct_<Type>()(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7);
Chris@16:         }
Chris@16:     } 
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
Chris@16:     struct make<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7)>
Chris@16:       : transform<make<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl : transform_impl<Expr, State, Data>
Chris@16:         {
Chris@16:             
Chris@16:             typedef typename detail::make_if_<Object, Expr, State, Data>::type result_type;
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(
Chris@16:                 typename impl::expr_param e
Chris@16:               , typename impl::state_param s
Chris@16:               , typename impl::data_param d
Chris@16:             ) const
Chris@16:             {
Chris@16:                 proto::detail::ignore_unused(e);
Chris@16:                 proto::detail::ignore_unused(s);
Chris@16:                 proto::detail::ignore_unused(d);
Chris@16:                 return detail::construct<result_type>(detail::as_lvalue( typename when<_, A0>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A1>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A2>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A3>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A4>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A5>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A6>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A7>::template impl<Expr, State, Data>()(e, s, d) ));
Chris@16:             }
Chris@16:         };
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
Chris@16:     struct make<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7...)>
Chris@16:       : transform<make<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7...)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : make<
Chris@16:                 typename detail::expand_pattern<
Chris@16:                     proto::arity_of<Expr>::value
Chris@16:                   , A7
Chris@16:                   , detail::expand_pattern_rest_7<
Chris@16:                         Object
Chris@16:                         , A0 , A1 , A2 , A3 , A4 , A5 , A6
Chris@16:                     >
Chris@16:                 >::type
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     namespace detail
Chris@16:     {
Chris@16:         template<
Chris@16:             template<typename , typename , typename , typename , typename , typename , typename , typename , typename> class R
Chris@16:             , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8
Chris@16:           , typename Expr, typename State, typename Data
Chris@16:         >
Chris@16:         struct make_<
Chris@16:             R<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>
Chris@16:           , Expr, State, Data
Chris@16:             BOOST_PROTO_TEMPLATE_ARITY_PARAM(9)
Chris@16:         >
Chris@16:           : nested_type_if<
Chris@16:                 R<typename make_if_<A0, Expr, State, Data> ::type , typename make_if_<A1, Expr, State, Data> ::type , typename make_if_<A2, Expr, State, Data> ::type , typename make_if_<A3, Expr, State, Data> ::type , typename make_if_<A4, Expr, State, Data> ::type , typename make_if_<A5, Expr, State, Data> ::type , typename make_if_<A6, Expr, State, Data> ::type , typename make_if_<A7, Expr, State, Data> ::type , typename make_if_<A8, Expr, State, Data> ::type>
Chris@16:               , (make_if_<A0, Expr, State, Data> ::applied || make_if_<A1, Expr, State, Data> ::applied || make_if_<A2, Expr, State, Data> ::applied || make_if_<A3, Expr, State, Data> ::applied || make_if_<A4, Expr, State, Data> ::applied || make_if_<A5, Expr, State, Data> ::applied || make_if_<A6, Expr, State, Data> ::applied || make_if_<A7, Expr, State, Data> ::applied || make_if_<A8, Expr, State, Data> ::applied || false)
Chris@16:             >
Chris@16:         {};
Chris@16:         template<
Chris@16:             template<typename , typename , typename , typename , typename , typename , typename , typename , typename> class R
Chris@16:             , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8
Chris@16:           , typename Expr, typename State, typename Data
Chris@16:         >
Chris@16:         struct make_<
Chris@16:             noinvoke<R<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8> >
Chris@16:           , Expr, State, Data
Chris@16:             BOOST_PROTO_TEMPLATE_ARITY_PARAM(1)
Chris@16:         >
Chris@16:         {
Chris@16:             typedef R<typename make_if_<A0, Expr, State, Data> ::type , typename make_if_<A1, Expr, State, Data> ::type , typename make_if_<A2, Expr, State, Data> ::type , typename make_if_<A3, Expr, State, Data> ::type , typename make_if_<A4, Expr, State, Data> ::type , typename make_if_<A5, Expr, State, Data> ::type , typename make_if_<A6, Expr, State, Data> ::type , typename make_if_<A7, Expr, State, Data> ::type , typename make_if_<A8, Expr, State, Data> ::type> type;
Chris@16:             static bool const applied = true;
Chris@16:         };
Chris@16:         template<typename R , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
Chris@16:         struct is_applyable<R(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8)>
Chris@16:           : mpl::true_
Chris@16:         {};
Chris@16:         template<typename R , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
Chris@16:         struct is_applyable<R(*)(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8)>
Chris@16:           : mpl::true_
Chris@16:         {};
Chris@16:         template<typename T, typename A>
Chris@16:         struct construct_<proto::expr<T, A, 9>, true>
Chris@16:         {
Chris@16:             typedef proto::expr<T, A, 9> result_type;
Chris@16:             template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6 , A7 &a7 , A8 &a8) const
Chris@16:             {
Chris@16:                 return result_type::make(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7 , a8);
Chris@16:             }
Chris@16:         };
Chris@16:         template<typename T, typename A>
Chris@16:         struct construct_<proto::basic_expr<T, A, 9>, true>
Chris@16:         {
Chris@16:             typedef proto::basic_expr<T, A, 9> result_type;
Chris@16:             template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6 , A7 &a7 , A8 &a8) const
Chris@16:             {
Chris@16:                 return result_type::make(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7 , a8);
Chris@16:             }
Chris@16:         };
Chris@16:         template<typename Type , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
Chris@16:         BOOST_FORCEINLINE
Chris@16:         Type construct(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6 , A7 &a7 , A8 &a8)
Chris@16:         {
Chris@16:             return construct_<Type>()(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7 , a8);
Chris@16:         }
Chris@16:     } 
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
Chris@16:     struct make<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8)>
Chris@16:       : transform<make<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl : transform_impl<Expr, State, Data>
Chris@16:         {
Chris@16:             
Chris@16:             typedef typename detail::make_if_<Object, Expr, State, Data>::type result_type;
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(
Chris@16:                 typename impl::expr_param e
Chris@16:               , typename impl::state_param s
Chris@16:               , typename impl::data_param d
Chris@16:             ) const
Chris@16:             {
Chris@16:                 proto::detail::ignore_unused(e);
Chris@16:                 proto::detail::ignore_unused(s);
Chris@16:                 proto::detail::ignore_unused(d);
Chris@16:                 return detail::construct<result_type>(detail::as_lvalue( typename when<_, A0>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A1>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A2>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A3>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A4>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A5>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A6>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A7>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A8>::template impl<Expr, State, Data>()(e, s, d) ));
Chris@16:             }
Chris@16:         };
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
Chris@16:     struct make<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8...)>
Chris@16:       : transform<make<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8...)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : make<
Chris@16:                 typename detail::expand_pattern<
Chris@16:                     proto::arity_of<Expr>::value
Chris@16:                   , A8
Chris@16:                   , detail::expand_pattern_rest_8<
Chris@16:                         Object
Chris@16:                         , A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7
Chris@16:                     >
Chris@16:                 >::type
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };
Chris@16:     namespace detail
Chris@16:     {
Chris@16:         template<
Chris@16:             template<typename , typename , typename , typename , typename , typename , typename , typename , typename , typename> class R
Chris@16:             , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9
Chris@16:           , typename Expr, typename State, typename Data
Chris@16:         >
Chris@16:         struct make_<
Chris@16:             R<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9>
Chris@16:           , Expr, State, Data
Chris@16:             BOOST_PROTO_TEMPLATE_ARITY_PARAM(10)
Chris@16:         >
Chris@16:           : nested_type_if<
Chris@16:                 R<typename make_if_<A0, Expr, State, Data> ::type , typename make_if_<A1, Expr, State, Data> ::type , typename make_if_<A2, Expr, State, Data> ::type , typename make_if_<A3, Expr, State, Data> ::type , typename make_if_<A4, Expr, State, Data> ::type , typename make_if_<A5, Expr, State, Data> ::type , typename make_if_<A6, Expr, State, Data> ::type , typename make_if_<A7, Expr, State, Data> ::type , typename make_if_<A8, Expr, State, Data> ::type , typename make_if_<A9, Expr, State, Data> ::type>
Chris@16:               , (make_if_<A0, Expr, State, Data> ::applied || make_if_<A1, Expr, State, Data> ::applied || make_if_<A2, Expr, State, Data> ::applied || make_if_<A3, Expr, State, Data> ::applied || make_if_<A4, Expr, State, Data> ::applied || make_if_<A5, Expr, State, Data> ::applied || make_if_<A6, Expr, State, Data> ::applied || make_if_<A7, Expr, State, Data> ::applied || make_if_<A8, Expr, State, Data> ::applied || make_if_<A9, Expr, State, Data> ::applied || false)
Chris@16:             >
Chris@16:         {};
Chris@16:         template<
Chris@16:             template<typename , typename , typename , typename , typename , typename , typename , typename , typename , typename> class R
Chris@16:             , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9
Chris@16:           , typename Expr, typename State, typename Data
Chris@16:         >
Chris@16:         struct make_<
Chris@16:             noinvoke<R<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9> >
Chris@16:           , Expr, State, Data
Chris@16:             BOOST_PROTO_TEMPLATE_ARITY_PARAM(1)
Chris@16:         >
Chris@16:         {
Chris@16:             typedef R<typename make_if_<A0, Expr, State, Data> ::type , typename make_if_<A1, Expr, State, Data> ::type , typename make_if_<A2, Expr, State, Data> ::type , typename make_if_<A3, Expr, State, Data> ::type , typename make_if_<A4, Expr, State, Data> ::type , typename make_if_<A5, Expr, State, Data> ::type , typename make_if_<A6, Expr, State, Data> ::type , typename make_if_<A7, Expr, State, Data> ::type , typename make_if_<A8, Expr, State, Data> ::type , typename make_if_<A9, Expr, State, Data> ::type> type;
Chris@16:             static bool const applied = true;
Chris@16:         };
Chris@16:         template<typename R , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
Chris@16:         struct is_applyable<R(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9)>
Chris@16:           : mpl::true_
Chris@16:         {};
Chris@16:         template<typename R , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
Chris@16:         struct is_applyable<R(*)(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9)>
Chris@16:           : mpl::true_
Chris@16:         {};
Chris@16:         template<typename T, typename A>
Chris@16:         struct construct_<proto::expr<T, A, 10>, true>
Chris@16:         {
Chris@16:             typedef proto::expr<T, A, 10> result_type;
Chris@16:             template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6 , A7 &a7 , A8 &a8 , A9 &a9) const
Chris@16:             {
Chris@16:                 return result_type::make(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7 , a8 , a9);
Chris@16:             }
Chris@16:         };
Chris@16:         template<typename T, typename A>
Chris@16:         struct construct_<proto::basic_expr<T, A, 10>, true>
Chris@16:         {
Chris@16:             typedef proto::basic_expr<T, A, 10> result_type;
Chris@16:             template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6 , A7 &a7 , A8 &a8 , A9 &a9) const
Chris@16:             {
Chris@16:                 return result_type::make(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7 , a8 , a9);
Chris@16:             }
Chris@16:         };
Chris@16:         template<typename Type , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
Chris@16:         BOOST_FORCEINLINE
Chris@16:         Type construct(A0 &a0 , A1 &a1 , A2 &a2 , A3 &a3 , A4 &a4 , A5 &a5 , A6 &a6 , A7 &a7 , A8 &a8 , A9 &a9)
Chris@16:         {
Chris@16:             return construct_<Type>()(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7 , a8 , a9);
Chris@16:         }
Chris@16:     } 
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
Chris@16:     struct make<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9)>
Chris@16:       : transform<make<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl : transform_impl<Expr, State, Data>
Chris@16:         {
Chris@16:             
Chris@16:             typedef typename detail::make_if_<Object, Expr, State, Data>::type result_type;
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             
Chris@16:             BOOST_FORCEINLINE
Chris@16:             result_type operator ()(
Chris@16:                 typename impl::expr_param e
Chris@16:               , typename impl::state_param s
Chris@16:               , typename impl::data_param d
Chris@16:             ) const
Chris@16:             {
Chris@16:                 proto::detail::ignore_unused(e);
Chris@16:                 proto::detail::ignore_unused(s);
Chris@16:                 proto::detail::ignore_unused(d);
Chris@16:                 return detail::construct<result_type>(detail::as_lvalue( typename when<_, A0>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A1>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A2>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A3>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A4>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A5>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A6>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A7>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A8>::template impl<Expr, State, Data>()(e, s, d) ) , detail::as_lvalue( typename when<_, A9>::template impl<Expr, State, Data>()(e, s, d) ));
Chris@16:             }
Chris@16:         };
Chris@16:     };
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     
Chris@16:     template<typename Object , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
Chris@16:     struct make<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9...)>
Chris@16:       : transform<make<Object(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9...)> >
Chris@16:     {
Chris@16:         template<typename Expr, typename State, typename Data>
Chris@16:         struct impl
Chris@16:           : make<
Chris@16:                 typename detail::expand_pattern<
Chris@16:                     proto::arity_of<Expr>::value
Chris@16:                   , A9
Chris@16:                   , detail::expand_pattern_rest_9<
Chris@16:                         Object
Chris@16:                         , A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8
Chris@16:                     >
Chris@16:                 >::type
Chris@16:             >::template impl<Expr, State, Data>
Chris@16:         {};
Chris@16:     };