Type checking for typedef's (new feature)

[Henry Spencer]

> What I would like is for typedef names to be considered by the compiler as 
> DIFFERENT from the underlying types....
> Is it reasonable? Is it hard to implement? Comments?...

Not unreasonable.  Not too hard to implement.  Not C, either.  Too many
existing programs would break.  Typedef is often used to parameterize
machine-dependencies like integer sizes, where the "macro" interpretation
of typedef is necessary.  It's much too late to change this now.
-- 
Usenet(n): AT&T scheme to earn
revenue from otherwise-unused	Henry Spencer @ U of Toronto Zoology
late-night phone capacity.	{allegra,ihnp4,decvax,pyramid}!utzoo!henry