Subject: Re: [Boost-users] [Proto] Reducing domain check in operator
From: Joel Falcou (joel.falcou_at_[hidden])
Date: 2009-02-27 14:25:06
Eric Niebler a écrit :
> Still confused.
Never mind, I did what was meant to be done ;)
> Hey, that codepad thing is pretty cool.
It even *compiles* Boost code as the lib seems to be installed on the
server.
Saved me tons of time when caught in traffic jam with my PDA and a "oh
snap!" moment occured ;)
> The MPL assertion I added fired, and the type of X was "const
> simd_value<simd_info<int,4>> &". You probably mean for terminals of
> that type to be handled by the following specialization, but its not
> because of the cv qualifier and the reference.
Dang ... that was it :D Working flawlessly now.
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 ?
-- ___________________________________________ Joel Falcou - Assistant Professor PARALL Team - LRI - Universite Paris Sud XI Tel : (+33)1 69 15 66 35