Boost C++ Libraries: Ticket #4675: [proto] Cannot combine two expression from different sub domains into super domain https://svn.boost.org/trac10/ticket/4675 <p> Proto's SFINAE facilities disable the binary operator overload in the attached case. </p> <p> Proposed fixed would be: </p> <p> Enable the binary operator iff: 1) Both, LHS and RHS expression have the same super domain 2) LHS matches the grammar for the domain of LHS (not the super domain) 2) RHS matches the grammar for the domain of RHS (not the super domain) 3) resulting expression matches grammar in the super domain. </p> en-us Boost C++ Libraries /htdocs/site/boost.png https://svn.boost.org/trac10/ticket/4675 Trac 1.4.3 Thomas Heller Wed, 22 Sep 2010 17:04:02 GMT attachment set https://svn.boost.org/trac10/ticket/4675 https://svn.boost.org/trac10/ticket/4675 <ul> <li><strong>attachment</strong> → <span class="trac-field-new">proto_test.cpp</span> </li> </ul> <p> Testcase for the ticket </p> Ticket Thomas Heller Wed, 22 Sep 2010 17:05:38 GMT <link>https://svn.boost.org/trac10/ticket/4675#comment:1 </link> <guid isPermaLink="false">https://svn.boost.org/trac10/ticket/4675#comment:1</guid> <description> <p> formatting got messed up: </p> <p> Enable the binary operator iff:<br /> 1) Both, LHS and RHS expression have the same super domain <br /> 2) LHS matches the grammar for the domain of LHS (not the super domain) <br /> 2) RHS matches the grammar for the domain of RHS (not the super domain) <br /> 3) resulting expression matches grammar in the super domain.<br /> </p> </description> <category>Ticket</category> </item> <item> <dc:creator>Eric Niebler</dc:creator> <pubDate>Wed, 06 Oct 2010 18:17:32 GMT</pubDate> <title>status changed https://svn.boost.org/trac10/ticket/4675#comment:2 https://svn.boost.org/trac10/ticket/4675#comment:2 <ul> <li><strong>status</strong> <span class="trac-field-old">new</span> → <span class="trac-field-new">assigned</span> </li> </ul> Ticket Eric Niebler Sat, 15 Jan 2011 15:30:28 GMT <link>https://svn.boost.org/trac10/ticket/4675#comment:3 </link> <guid isPermaLink="false">https://svn.boost.org/trac10/ticket/4675#comment:3</guid> <description> <p> Attempted fix committed to trunk in <a class="changeset" href="https://svn.boost.org/trac10/changeset/68172" title="fix handling of operator sfinae in the presence of sub-domains with ...">[68172]</a>. </p> </description> <category>Ticket</category> </item> <item> <dc:creator>Eric Niebler</dc:creator> <pubDate>Tue, 18 Jan 2011 03:07:24 GMT</pubDate> <title/> <link>https://svn.boost.org/trac10/ticket/4675#comment:4 </link> <guid isPermaLink="false">https://svn.boost.org/trac10/ticket/4675#comment:4</guid> <description> <p> Fix merged to release in <a class="changeset" href="https://svn.boost.org/trac10/changeset/68206" title="merge [68172] from trunk">[68206]</a> </p> </description> <category>Ticket</category> </item> <item> <dc:creator>Eric Niebler</dc:creator> <pubDate>Tue, 18 Jan 2011 03:10:45 GMT</pubDate> <title>status changed; resolution set https://svn.boost.org/trac10/ticket/4675#comment:5 https://svn.boost.org/trac10/ticket/4675#comment:5 <ul> <li><strong>status</strong> <span class="trac-field-old">assigned</span> → <span class="trac-field-new">closed</span> </li> <li><strong>resolution</strong> → <span class="trac-field-new">fixed</span> </li> </ul> Ticket