Re: [boost] Formal Review Request: mp11

Subject: Re: [boost] Formal Review Request: mp11
From: Bruno Dutra (brunocodutra_at_[hidden])
Date: 2017-03-19 11:53:07

On Sat, Mar 18, 2017 at 2:55 PM, Peter Dimov via Boost <
boost_at_[hidden]> wrote:

> Bjorn Reese wrote:
>
> On 03/18/2017 02:33 PM, Peter Dimov via Boost wrote:
>> > Bjorn Reese wrote:
>> >
>> >> Most algorithms take the typelist as the first argument, but others do
>> >> not, e.g. mp_transform<F, L...>. If possible, I would like to see all >>
>> algorithms take typelist as the first argument.
>> >
>> > It's not possible for L... to be first. Note the ellipsis.
>>
>> Notice that I removed them :)
>>
>> The documentation states that "data structures are lists of the form
>> L<T...>" so why is L... needed in mp_transform?
>>
>
> mp_transform is variadic, it works on more than one list.

Is it truly variadic? Does it work for more than 3 lists?