[ConceptGCC]|
[ConceptGCC] |
ConceptGCC :Re: Template Requirements |
From: Marcin Zalewski (zalewski_at_[hidden])
Date: 2008-08-28 03:52:26
I have just stumbled across the "unsupported" error message I have
referred to earlier:
functor.hpp:67: error: pseudo-signature template<class F>
template<class T> static void Functor::test() is not permitted in a
concept
functor.hpp:67: note: this feature is currently unsupported, but will
be in a future version
So for function templates the message clearly says that they will be
supported. Maybe the error could be the same for associated templates?
-m
On Thu, Aug 28, 2008 at 8:50 AM, Marcin Zalewski
<zalewski_at_[hidden]> wrote:
> Hello,
>
> I am compiling the following code from the concept wording:
>
> concept Allocator<typename Alloc> {
> template<class T> class rebind;
> }
>
> ConceptGCC (latest version from the repository) says:
>
> template<class Alloc> template<class T> struct
> Allocator<Alloc>::rebind is not permitted in a concept
>
> I think that this is because conceptGCC does not support associated
> templates yet. If I am correct, the error should state the lack of
> support and, in fact, I think that conceptGCC used to say something to
> the effect that associated templates are not supported.
>
> -m
>