diff --git a/test/Jamfile b/test/Jamfile index 597e538..e11aa82 100644 --- a/test/Jamfile +++ b/test/Jamfile @@ -28,6 +28,7 @@ compile mp11.cpp ; run mp_size.cpp ; run mp_size_2.cpp ; run mp_empty.cpp ; +run mp_empty_2.cpp ; run mp_front.cpp ; run mp_pop_front.cpp ; run mp_second.cpp ; diff --git a/test/mp_empty_2.cpp b/test/mp_empty_2.cpp new file mode 100644 index 0000000..0d6b959 --- /dev/null +++ b/test/mp_empty_2.cpp @@ -0,0 +1,40 @@ +// Copyright 2023 Peter Dimov. +// Distributed under the Boost Software License, Version 1.0. +// https://www.boost.org/LICENSE_1_0.txt + +#include + +#if !defined(BOOST_MP11_HAS_TEMPLATE_AUTO) + +#pragma message("Test skipped because BOOST_MP11_HAS_TEMPLATE_AUTO is not defined") +int main() {} + +#else + +#include +#include + +template struct L1 {}; +template struct L2 {}; + +int main() +{ + using boost::mp11::mp_list; + using boost::mp11::mp_empty; + using boost::mp11::mp_true; + using boost::mp11::mp_false; + + BOOST_TEST_TRAIT_SAME(mp_empty>, mp_true); + BOOST_TEST_TRAIT_SAME(mp_empty>, mp_false); + BOOST_TEST_TRAIT_SAME(mp_empty>, mp_false); + BOOST_TEST_TRAIT_SAME(mp_empty>, mp_false); + + BOOST_TEST_TRAIT_SAME(mp_empty>, mp_true); + BOOST_TEST_TRAIT_SAME(mp_empty>, mp_false); + BOOST_TEST_TRAIT_SAME(mp_empty>, mp_false); + BOOST_TEST_TRAIT_SAME(mp_empty>, mp_false); + + return boost::report_errors(); +} + +#endif