type-redef's (was: va_list used in <stdio.h>)

[Maarten Litmaath]

gwyn at smoke.BRL.MIL (Doug Gwyn) writes:
\In article <13572 at bloom-beacon.MIT.EDU> scs at adam.pika.mit.edu (Steve Summit) writes:
\...
\>	#ifndef _VA_LIST
\>	#define _VA_LIST
\>	typedef int *__va_list;
\>	#endif
\...
\since size_t is a typedef it must be protected by some sort of
\one-time interlock.

The pANS allows a preprocessor redefinition equal to the original definition:

	#define		pipo		aap
	#define		pipo		aap
	#define		clown(x, y)	monkey(y, x)
	#define		clown(a, b)	monkey(b, a)	/* allowed? */

Why is a type-redef still forbidden?

	typedef		foo	bar;
	typedef		foo	bar;
-- 
  kilogram, n.: the amount of cocaine    |Maarten Litmaath @ VU Amsterdam:
         you can buy for $100K.          |maart at cs.vu.nl, mcvax!botter!maart