Re: problem with incomplete type references in draft 8


Subject: Re: problem with incomplete type references in draft 8
From: Paul Graham (pgraham@cadence.com)
Date: Tue May 07 2002 - 06:38:39 PDT


> 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 - 06:40:43 PDT