Re: redefining typedefs extension

[craig at jcb-sc dot com]

(I agree with Jeff this patch is best put off after 1.2, given it
applies to the core gcc compiler upon which we all depend.)

>+ @node Redefining Typedefs
[...]
>+ @example
>+   extern T1 var;
>+   extern T2 var;
>+ @end example

That is an example of *something*, but surely not "redefining" a *typedef*.

What your example shows is re-*declaring* a *variable*, if I remember
my C-ish terminology right.

*This* is redefining a typedef:

typedef int myType;
typedef int myType;

Also, this:

typedef int T1;
typedef int T2;
typedef T1 myType;
typedef T2 myType;

I didn't look closely at your patch to see which you're actually enabling.
If the latter, you'll have to fix the example in the docs; if the former,
you'll have to fix the terminology you use in the docs, the feature
list, etc.

        tq vm, (burley)