Commit e231a719 authored by Dominik Charousset's avatar Dominik Charousset

improved unit test for new `type_list` features

parent 5685e079
...@@ -53,5 +53,13 @@ int main() { ...@@ -53,5 +53,13 @@ int main() {
"il_right<il0, 2> returned " <<detail::demangle<il2>() "il_right<il0, 2> returned " <<detail::demangle<il2>()
<< "expected: " << detail::demangle<il1>()); << "expected: " << detail::demangle<il1>());
/* test tl_is_strict_subset */ {
typedef type_list<int,float,double> list_a;
typedef type_list<float,int,double,std::string> list_b;
CPPA_CHECK((tl_is_strict_subset<list_a, list_b>::value));
CPPA_CHECK(!(tl_is_strict_subset<list_b, list_a>::value));
CPPA_CHECK((tl_is_strict_subset<list_a, list_a>::value));
}
return CPPA_TEST_RESULT(); return CPPA_TEST_RESULT();
} }
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment