[C++] Unreviewed patches

[Jason Merrill]

>>>>> "Kriang" == Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net> writes:

> Jason Merrill wrote:
>> 
>> >  PR3391
>> >   http://gcc.gnu.org/ml/gcc-patches/2001-09/msg00898.html
>> 
>> OK.  Would it make sense to do this for TYPENAME_TYPEs as well?

> We can define a class like
>   template <class T> class C : public T::N { };
> According to the standard, "T::N" should not be prefixed by
> "typename" here.  But a TYPENAME_TYPE is created for the base
> class (in uniform with other typename cases).  So TYPE_BINFO
> of TYPENAME_TYPE may also be used.

Yes.  So will you make the same change for TYPENAME_TYPE?

>> >  Template parm dependent template template arg
>> >   http://gcc.gnu.org/ml/gcc-patches/2001-09/msg00664.html

> There is a difference between the case in this patch and the one in your
> example.  The patch is intended to deal with this construct WITHOUT its
> template argument.  Like "C<T::template N>".  This can only appear as
> template argument.

Good point.

>> Also, the construct isn't just an identifier, it names a class template, so
>> the name should suggest such.  Perhaps UNBOUND_CLASS_TEMPLATE?

> OK I'll adjust its name.  A revised version will be submitted
> later.

If you're just changing the name, no need to submit it again.

Thanks,
Jason