Re: [Boost-users] [Proto] Reducing domain check in operator

27 Feb 2009


      Joel Falcou wrote:
...
Dang ... that was it :D Working flawlessly now.
Excellent.
...
Back on the initial topic, can't the assertion for discriminating domain 
in operators be added as a domain tempalte parameters usign a lambda ?
like
struct foo_domain : proto::domain< generator
                                 , grammar
                                 , is_same< domain_of<_1>, domain_of<_2> >
                                 >
And use this lambda in the STATIC_ASSERT ?
That would associate the check with a domain. If there is an expression 
involving expressions from N different domains, you have N ways of 
checking for compatibility and no way to chose between them.

-- 
Eric Niebler
BoostPro Computing
http://www.boostpro.com