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
> &". 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