PR# 16876 Type `like {G}.out' in generic class reported as VEEN error on `out' in descendant

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2010/06/19

Class: Bug

Severity: Serious

Number: 16876

Release: 6.6.83602

Confidential: No

Status: Closed

Responsible:

Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.9.1.8) Gecko/20100226 Firefox/3.5.8 OpenSolaris snv_134 on x64

Synopsis: Type `like {G}.out' in generic class reported as VEEN error on `out' in descendant

Description

A generic class has an attribute

   x: like {G}.out

In a descendant of the generic class (which happens to be non-generic but it
doesn't seem to matter), the compiler reports a VEEN error on `x',
saying that `out' is an unknown identifier.  This seems like a bug to me.

Added eweasel test anchor031 for this bug .

If this is not a bug and the compiler is correct, please fix the test.

To Reproduce

Run eweasel test anchor031.

Problem Report Interactions

From:alexk_es Date:2010/06/22 Status: Closed Download

Fixed in rev#83673 of EiffelStudio 6.7 intermediate release.

From:manus_eiffel Date:2010/06/21 Status: Analyzed Download

It clearly should not report the VEEN error.

From:prestoat2000 Date:2010/06/21 Download

Can someone please confirm whether this is indeed a bug?

The reason I'm asking is because if reporting a VEEN error in this
case is correct behavior (the test currently says there shouldn't be
a VEEN error), then I have a case of an incremental crash in
{LIKE_FEATURE}.update_dependance that I should report.  The crash
only occurs after a VEEN error similar to the one in the test.