Peter Dimov wrote:
> arity( _bi::bind_t<R,F,L> ) :- max( arity( e ) ) for each e in L
> arity( X ) :- is_placeholder<X>::value
>
> This could be much easier with a bind that uses a fusion tuple as L. :-)
Phoenix :)
Regards,
--
Joel de Guzman
http://www.boost-consulting.com
http://spirit.sf.net