Re: [boost] [GSoC][MPL11] Post C++Now update

Subject: Re: [boost] [GSoC][MPL11] Post C++Now update
From: Eric Niebler (eniebler_at_[hidden])
Date: 2014-05-19 19:05:29

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