Re: [boost] Interest in DSL framework

From: Andy Little (andy_at_[hidden])
Date: 2006-08-13 12:21:05

"Andreas Pokorny" <andreas.pokorny_at_[hidden]> wrote in message
<...>

>  // rules:
>  template<typename EnableIfT>
>  struct rule<example_domain,right_shift_tag,A,B,EnableIfT>
>    : defined, mpl::true_
>  {
>     typedef TYPE_WHICH_ENCODES_THE_EXPRESSION result_type;
>     static result_type init(A const& a, B const& b) { return
> result_type(...); }
>  };
>
>  template<typename EnableIfT>
>  struct
> rule<example_domain,bitor_tag,TYPE_WHICH_ENCODES_THE_EXPRESSION,C,EnableIfT>
>    : defined, mpl::true_
>  {
>     typedef TYPE_WHICH_ENCODES_THE_WHOLE_TREE result_type;
>     static result_type init(A const& a, B const& b) { return
> result_type(...); }
>  };

I don't understand what these TYPE_WHICH_ENCODES_THE macros are, but can 't you
use Boost.Typeof for this?

regards
Andy Little