[ConceptGCC]

ConceptGCC : Re: Concept C++: excessive where-clauses?

From: Douglas Gregor (doug.gregor_at_[hidden])
Date: 2007-01-22 22:55:00

• Next message: Douglas Gregor: "Re: incomplete data types"
• Previous message: TheChao: "incomplete data types"
• In reply to: Dietmar Kuehl: "Concept C++: excessive where-clauses?"

Hi Dietmar,

On Jan 21, 2007, at 6:41 PM, Dietmar Kuehl wrote:
> template <typename T1, typename T2>
> __where equality_comparable<T1, T2>
> && predicate2<equal_to<T1, T2>, T1, T2> // <----- is this
> necessary?
> bool compare(T1 const& v1, T2 const& v2)
> {
> equal_to<T1, T2> eq;
> return eq(v1, v2);
> }

This is a compiler bug... your code is correct without that
predicate2<equal_to<T1, T2>, T1, T2> requirement. I've added this
bug to the brand new ConceptGCC Trac, here:

        http://svn.osl.iu.edu/trac/conceptgcc/ticket/3

Thanks for reporting this problem!

        Cheers,
        Doug

• Next message: Douglas Gregor: "Re: incomplete data types"
• Previous message: TheChao: "incomplete data types"
• In reply to: Dietmar Kuehl: "Concept C++: excessive where-clauses?"