#include "sign.hpp"
#define BOOST_TEST_MODULE sign_test
#include <boost/test/unit_test.hpp>
#include <boost/static_assert.hpp>
#include <boost/mpl/assert.hpp>
#include <boost/type_traits/is_same.hpp>

BOOST_AUTO_TEST_CASE( test_sign )
{
  using namespace temp;
  BOOST_MPL_ASSERT(( boost::is_same<temp::sign<+1>::type, positive_type> ));
  BOOST_MPL_ASSERT(( boost::is_same<temp::sign<-1>::type, negative_type> ));
  BOOST_STATIC_ASSERT(( sign<+1>::value * sign<+1>::value == +1 ));
  BOOST_STATIC_ASSERT(( sign<-1>::value * sign<-1>::value == +1 ));
  BOOST_STATIC_ASSERT(( sign<+1>::value * sign<-1>::value == -1 ));
}