• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // Copyright Louis Dionne 2013-2017
2 // Distributed under the Boost Software License, Version 1.0.
3 // (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
4 
5 #include "minimal.hpp"
6 
7 #include <boost/hana/concept/constant.hpp>
8 #include <boost/hana/core/to.hpp>
9 namespace hana = boost::hana;
10 
11 
12 static_assert(hana::is_convertible<minimal_constant_tag<bool>, bool>::value, "");
13 static_assert(hana::to<bool>(minimal_constant<bool, true>{}) == true, "");
14 
15 static_assert(hana::is_convertible<minimal_constant_tag<int>, int>::value, "");
16 static_assert(hana::to<int>(minimal_constant<int, 1>{}) == 1, "");
17 
18 static_assert(hana::is_convertible<minimal_constant_tag<long>, long>::value, "");
19 static_assert(hana::to<long>(minimal_constant<long, 1>{}) == 1l, "");
20 
main()21 int main() { }
22