PR# 17089 Object test with expanded generic does not work correctly

Problem Report Summary

Submitter: prestoat2000

Category: Compiler

Priority: Medium

Date: 2010/09/03

Class: Bug

Severity: Serious

Number: 17089

Release: 6.7.84345

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 x86

Synopsis: Object test with expanded generic does not work correctly

Description

With an expanded generic class

   expanded class TEST2 [G]

an object test

   if attached {TEST2 [TEST3]} x

   x: TEST2 [DOUBLE]

returns True.  This is clearly wrong and subsequent code inside the "if"
statement shows this, with melted and frozen code giving different output
(and I think both are wrong).

Added eweasel test exec332 for this bug.

To Reproduce

Run eweasel test exec332.

Problem Report Interactions

From:alexk_es Date:2018/11/03 Status: Closed Download

Fixed in rev#102397 of EiffelStudio 18.11 intermediate release.