[Boost-bugs] [Boost C++ Libraries] #4675: [proto] Cannot combine two expression from different sub domains into super domain

Subject: [Boost-bugs] [Boost C++ Libraries] #4675: [proto] Cannot combine two expression from different sub domains into super domain
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2010-09-22 17:03:44

#4675: [proto] Cannot combine two expression from different sub domains into super
domain
-------------------------------------+--------------------------------------
 Reporter:  theller                  |       Owner:  eric_niebler
     Type:  Bugs                     |      Status:  new         
Milestone:  To Be Determined         |   Component:  proto       
  Version:  Boost Development Trunk  |    Severity:  Problem     
 Keywords:                           |  
-------------------------------------+--------------------------------------
 Proto's SFINAE facilities disable the binary operator overload in the
 attached case.

 Proposed fixed would be:

 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.

-- 
Ticket URL: <https://svn.boost.org/trac/boost/ticket/4675>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.