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 <boost/hana/ext/boost/mpl/vector.hpp>
6
7 #include <boost/hana/tuple.hpp>
8
9 #include <laws/comparable.hpp>
10
11 #include <boost/mpl/vector.hpp>
12 namespace hana = boost::hana;
13 namespace mpl = boost::mpl;
14
15
16 struct t1; struct t2; struct t3; struct t4;
17
main()18 int main() {
19 auto vectors = hana::make_tuple(
20 mpl::vector<>{}
21 , mpl::vector<t1>{}
22 , mpl::vector<t1, t2>{}
23 , mpl::vector<t1, t2, t3>{}
24 , mpl::vector<t1, t2, t3, t4>{}
25 );
26
27 hana::test::TestComparable<hana::ext::boost::mpl::vector_tag>{vectors};
28 }
29