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

Subject: Re: [boost] Yap's formal review is starting now!
From: Peter Dimov (lists_at_[hidden])
Date: 2018-02-16 01:06:13

> > struct my_xform {
> >
> >     template<typename TerminalValue1, typename TerminalValue2>
> >     auto operator()(
> >         plus_tag,
> >         my_expr<expr_kind::terminal, TUPLE<TerminalValue1>> const & lhs,
> >         my_expr<expr_kind::terminal, TUPLE<TerminalValue2>> const & rhs)
> >     { return /*...*/; }
> >
> > };

It now occurs to me that if my_expr is not <Kind, Tuple>, but <Kind, T...>, 
a transform would be able to match it without knowing the tuple type.