>From: "David Abrahams" <[EMAIL PROTECTED]>
> Terje Sletteb� <[EMAIL PROTECTED]> writes:
>
> > As you note, if you change it to match, with unsigned long, it
> > works. I think EDG is right on this one, that there has to be an
> > exact match, except top-level cv-qualification.
>
> cv-qualification?? Whoa, the compiler seems to accept them, but
> they're also ignored. This compiles:
>
> template <const volatile int x> struct foo;
> template <template <int x> class> class bar {};
> bar<foo> x;
Yes, that's what I meant: The types have to match, except for any top-level
cv-qualification difference, as it's ignored, as you say.
Regards,
Terje
_______________________________________________
Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
