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

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 : [phone]