OK.<br /><br />Last question. I changed my make_expr to use domain_of and
it worked nice for the base case.<br />Then I changed the domain of the
exponent thingy. <br /><br />exponent takes a float/double vec adn return
an integral vec of the same size. So I gave to
simd_expr&lt;tag::exponent_&gt; the same domain as vec&lt;integer&gt;. Now
I can build things like :<br /><br />exponent(vf) + vi with the proper
type and everything works.<br /><br />Now, I had some strange behavior in
my calalble_context. When I debug it, it seems that the type of
exponent(vf) is<br /><br />simd_expr&lt; vec&lt;float,4&gt;, domain&lt;
simd_info&lt;int,4&gt; &gt; &gt;<br /><br />instead of some :<br /><br
/>simd_expr&lt; bp::terminal&lt;vec&lt;float,4&gt; &gt;, domain&lt;
simd_info&lt;int,4&gt; &gt; &gt;<br /> <br />So I don't how how to catch
it in my context operator() overload.<br /><br />For info, my exponent
function is something like :<br /><br />template&lt;class A0&gt; static
inline typename<br />proto::result_of::make_expr&lt; tag::exponent_<br />,
domain&lt; make_integrer_vec&lt;A0&gt;::info_type &gt;<br />, A0
const&amp;&gt;<br />exponent( A0 const a0)<br />{<br />return
proto::make_expr&lt; tag::exponent_<br /> , domain&lt;
make_integrer_vec&lt;A0&gt;::info_type &gt; &gt;( boost::cref(a0));<br
/>}<br /><br />