/*=============================================================================
    Copyright (c) 2001-2007 Joel de Guzman

    Distributed under the Boost Software License, Version 1.0. (See accompanying 
    file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
==============================================================================*/
#ifndef PHOENIX_OPERATOR_DETAIL_BINARY_EVAL_HPP
#define PHOENIX_OPERATOR_DETAIL_BINARY_EVAL_HPP

#include <boost/mpl/or.hpp>
#include <boost/mpl/eval_if.hpp>
#include <boost/mpl/identity.hpp>
#include <boost/type_traits/is_same.hpp>
#include <boost/spirit/home/phoenix/core/compose.hpp>

#define PHOENIX_BINARY_EVAL(eval_name, op_result, expr)                         \
    struct eval_name                                                            \
    {                                                                           \
        template <typename Env, typename A0, typename A1>                       \
        struct result                                                            \
        {                                                                       \
            typedef typename A0::template result<Env>::type x_type;              \
            typedef typename A1::template result<Env>::type y_type;              \
                                                                                \
            typedef typename                                                    \
                mpl::eval_if<                                                   \
                    mpl::or_<is_actor<x_type>, is_actor<y_type> >               \
                  , re_curry<eval_name, x_type, y_type>                         \
                  , op_result<x_type, y_type>                                   \
                >::type                                                         \
            type;                                                               \
        };                                                                      \
                                                                                \
        template <typename RT, typename Env, typename A0, typename A1>          \
        static RT                                                               \
        eval(Env const& env, A0& a0, A1& a1)                                    \
        {                                                                       \
            return expr;                                                        \
        }                                                                       \
    };

#undef x
#undef y
#endif