19 May
2014
19 May
'14
11:05 p.m.
On 05/19/2014 10:28 AM, Louis Dionne wrote:
Type-only predicate ------------------- struct odd { template <typename T> constexpr auto operator()(T t) const { return t % int_<2>; } };
static_assert(std::is_same< decltype(any(odd{}, list(int_<1>, int_<2>))), Bool<true> >::value, "");
What does it look like to have a compile-time list containing void? Or an array type? Or a function type (i.e., not a pointer to function)? Or an abstract type? Eric