Re: [boost] [Proto] Computing type in expression

Eric Niebler wrote:

template<class Expr> struct wrap : proto::extends<Expr, wrap<Expr> > { // Expr is complete here // wrap is not

typedef typename some_fun<wrap>::type value_type; // NO typedef typename some_fun<Expr>::type value_type; // YES };

Does that help?

Makes perfect sense, feel a bit stupid now :E I will try to get that working out ;) Thanks for the head up