This is the mail archive of the
libstdc++@gcc.gnu.org
mailing list for the libstdc++ project.
Re: Problems with the new concepts checking code (boost)
- To: Benjamin Kosnik <bkoz at redhat dot com>
- Subject: Re: Problems with the new concepts checking code (boost)
- From: Gabriel Dos Reis <Gabriel dot Dos-Reis at cmla dot ens-cachan dot fr>
- Date: 06 Apr 2001 23:19:24 +0200
- Cc: Phil Edwards <pedwards at disaster dot jaj dot com>, Gabriel Dos Reis <Gabriel dot Dos-Reis at cmla dot ens-cachan dot fr>, Peter Schmid <schmid at snake dot iap dot physik dot tu-darmstadt dot de>, libstdc++ at gcc dot gnu dot org
- Organization: CMLA, ENS Cachan -- CNRS UMR 8536 (France)
- References: <Pine.SOL.3.91.1010406121039.6149D-100000@cse.cygnus.com>
Benjamin Kosnik <bkoz@redhat.com> writes:
| > I'm worried that if we disable the checks we'll never solve the bug.
| > But I will admit to a certain amount of pet-project bias. :-)
|
| right. That's why I propose disable on the branch, enable on head.
| Concept checking is an idea that we should be working on to make correct.
Concept checking is a cool idea. When it works :-)
I'm trying to check-in Joe's patch about std::equal with a test case
and I'm surprised to find the following inside std::equal:
glibcpp_function_requires(EqualityComparableConcept<
typename iterator_traits<_InputIter2>::value_type>);
which is wrong.
I'll check in the patch along with the test-case. But someone needs
to fix the concept checking part.
-- Gaby