[Issue 3131] better type resolve

d-bugmail at puremagic.com d-bugmail at puremagic.com
Fri Jul 3 21:43:34 PDT 2009


http://d.puremagic.com/issues/show_bug.cgi?id=3131





--- Comment #6 from Jarrett Billingsley <jarrett.billingsley at gmail.com>  2009-07-03 21:43:33 PDT ---
(In reply to comment #5)
> Regardless of whether it is a good idea or not, I see a related problem in that
> there is a bit of apparent inconsistency.
> 
> Look at this program ...
> 
> // ------------
> struct X 
> {
> }
> struct Y
> {
>     X X;   // Disallowed
> }
> void main()
> {
>     X X;   // Allowed.
> }
> // ------------
> 
> Either both instances should be disallowed or both allowed, IMO.

I would say they should both be allowed.  The declaration of the struct member
should happen semantically after the type lookup, just like with the variable.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------


More information about the Digitalmars-d-bugs mailing list