PR# 16850 Expanded type based on deferred class allowed in qualified anchored type
Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Low
Date: 2010/06/14
Class: Bug
Severity: Non-critical
Number: 16850
Release: 6.6.83355
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.9.0.10) Gecko/2009042715 Firefox/3.0.10
Solaris 10 on SPARC
Synopsis: Expanded type based on deferred class allowed in qualified anchored type
Description
I'm not sure this is a bug, but thought I would point out this case since it
seems inconsistent. A qualified anchored type can be of the form
like {SOME_TYPE}.some_feature
If TEST2 is a deferred class, the qualified anchored type
like {expanded TEST2}.some_feature
is accepted but it seems like this should be a VTEC(1) error
(expanded type is based on deferred class). I don't see how anything can
go wrong but it does seem inconsistent and is perhaps a bug (which might
be fixed in 6.7 if it is actually a bug).
To Reproduce
Compile with attached classes.
Compiler does not report a VTEC(1) error for the local of type
like {expanded TEST2}.value
even though TEST2 is a deferred class.
Problem Report Interactions
Added eweasel test anchor030 for this bug (already fixed). Closing report since test passes in rev 83602.