typedef-name as a parameter name

[Pierre DAVID]

In article <387 at litp.UUCP>, I wrote:

> I would like to know if these two programs are ANSI-C strictly conforming
> or not.  If not, I would appreciate if someone could tell me exactly
> why (I have the January 1988 draft).
> 
> typedef int t1, t2 ;
> void f1 (t1) ;
> void f2 (t2)
> int t2 ;
> {
>     void f3 (t1) ;
> }
>
> typedef int type ;
> type f (type type)
> {
>     return type+1 ;
> }


The answer is NO !

I have found the answer in paragraph 3.7.1 (Function definitions), in
"Constraints" :

	An identifier declared as a typedef name shall not be
	redeclared as a parameter.

One more C particularism...


Pierre David
pda at litp.uucp
...!uunet!mcvax!inria!litp!pda