Subject: Re: problem with incomplete type references in draft 8
From: Peter Flake (flake@co-design.com)
Date: Tue May 07 2002 - 07:59:49 PDT
Paul,
At 06:38 AM 5/7/02 -0700, 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;
mytype has to be defined somewhere in scope, just like a forward reference
to a function.
>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.
Removing this feature does not affect the fact that complete type checking
can only be done during elaboration due to parameters and generate blocks.
Peter.
This archive was generated by hypermail 2b28 : Wed May 08 2002 - 02:12:35 PDT