On 09/15/2015 03:09 PM, Vicente J. Botet Escriba wrote:
> Hi,
>
>  [1]  presents a proposal for generic |match| functions allowing to
> visit sum types individually or by groups (product of sum types).
>
> The main difference respect to the proposed visit function is that the
> visitation can be applied not only to variant<Ts>, but to any sum type
> implementing the match function, in particular optional, expected, ....
>
> Any feedback is welcome.
>
> Vicente Botet
>
> [1] https://github.com/viboes/tags/blob/master/doc/proposals/match/D0050.pdf
>
> --

On page 11, there's sum_type_alternative<Sts,i>, but, using search on
the .pdf file, I found no definition of this template.  Furthermore,
a grep on the sourcecode cloned from https://github.com/viboes/tags.git
failed to find anything.

Could you let the readers know where the definition or description of
this template is?

TIA.

-regards,
Larry



--

---
You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposals/.

.