--- Comment #2 from pcarlini at suse dot de 2008-03-06 16:27 ---
Frankly, I'm not 100% sure we want an error here: I mean, we have a Requires
violation in the case at issue, which, in general, in my reading of the
standard, certainly doesn't mean the code must not compile, means
--- Comment #3 from gryan at akoostix dot com 2008-03-06 16:38 ---
I understand your concern here, which is why I wrote that I thought that it was
implicit.
The standard says where geti(t) == geti(u) is a valid expression only,
however; 6.1.3.4 says that geti(t) is ill formed if I is
--- Comment #4 from pcarlini at suse dot de 2008-03-06 16:53 ---
(In reply to comment #3)
To me, if geti(t) fails to compile under the assumption of ill formed,
then
by the definitions of 6.1.3.5, geti(t) == geti(u) should also fail to
compile. Although it is not explicitly stated
--- Comment #5 from pcarlini at suse dot de 2008-03-06 17:00 ---
By the way, in the meanwhile I checked N2322 and C++0x will simply enforce
EqualityComparableTTypes, UTypes...
We are presently trying to figure out whether in the meanwhile we want to
explicitly enforce sizeof...(TTypes)
--- Comment #6 from chris at bubblescope dot net 2008-03-06 17:11 ---
While I agree that this is an issue of implementation detail, I thought there
was code already there to stop this case, except it is broken :(
Looking at the svn copy of tr1/tuple, you can see operator== (and others)
--- Comment #7 from pcarlini at suse dot de 2008-03-06 17:18 ---
Cool, if everything can be dealt with right now by simply fixing that, then
let's do it! Really, in these times, I dislike the idea of robustify templates
here and there (without a global neat strategy) with old-times
--- Comment #8 from paolo at gcc dot gnu dot org 2008-03-06 18:36 ---
Subject: Bug 35480
Author: paolo
Date: Thu Mar 6 18:35:26 2008
New Revision: 132983
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=132983
Log:
2008-03-06 Chris Jefferson [EMAIL PROTECTED]
Paolo
--- Comment #10 from pcarlini at suse dot de 2008-03-06 18:37 ---
Fixed for 4.4.0 and 4.3.1.
--
pcarlini at suse dot de changed:
What|Removed |Added
--- Comment #9 from paolo at gcc dot gnu dot org 2008-03-06 18:36 ---
Subject: Bug 35480
Author: paolo
Date: Thu Mar 6 18:35:37 2008
New Revision: 132984
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=132984
Log:
2008-03-06 Chris Jefferson [EMAIL PROTECTED]
Paolo