From: Steven Watanabe (watanabesj_at_[hidden])
Date: 2008-03-31 21:58:52
AMDG
Eric Niebler wrote:
> 5) You can override an expression's domain with
> "proto::as_expr<Domain>(expr)". This gives a way to mix expressions from
> different domains in the same expression.
>
I'm not sure that's enough. I can imagine wanting one domain
to treat expressions in another domain as terminals. Specifically,
I am thinking of using lambda in another domain that expects
function objects.
In Christ,
Steven Watanabe