Re: [boost] Yap's formal review is starting now!

Subject: Re: [boost] Yap's formal review is starting now!
From: Zach Laine (whatwasthataddress_at_[hidden])
Date: 2018-02-16 22:39:34

On Fri, Feb 16, 2018 at 4:26 PM, Peter Dimov via Boost <
boost_at_[hidden]> wrote:

> Zach Laine wrote:
>
>> In this case, something like the expression_tag<> scheme Peter
>> recommended helps with this particular ambiguity:
>>
>> template <typename Tag, typename... T>
>> auto operator()(expression_tag<Tag>, T &&... t)
>>
>
> What I suggested was rather
>
> template <expr_kind Kind, typename... T>
> auto operator()(expression_tag<Kind>, T &&... t)
>
> as this enforces the necessary 1:1 correspondence between kinds and tags.

Right.  I missed that the first time.  Thanks.

Zach