>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