Subject: Re: problem with incomplete type references in draft 8
From: David Springer (dspring@ix.netcom.com)
Date: Tue May 07 2002 - 19:12:59 PDT
Peter perhaps you can explain why this is a useful feature. I agree with
Paul, I don't understand why it is useful and it makes writing tools a whole
lot harder than I would like.
Dave Springer
Paul Graham wrote:
> > BTW complete type checking can only be done during elaboration.
>
> I really don't like this idea. You mean that I'm allowed to write:
>
> typedef mytype;
>
> mytype x, y, z;
>
> z = x & y;
>
> and I can't tell at compile time whether the expression and assignment are
> legal? I just can't see the utility of this feature. I think we should
> remove it in 3.1.
>
> Paul
This archive was generated by hypermail 2b28 : Tue May 07 2002 - 19:19:49 PDT