PR# 16948 Incorrect class header in error message for generic class in void-safe system

Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Low
Date: 2010/07/06
Class: Bug
Severity: Non-critical
Number: 16948
Release: 6.6.83767
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: Incorrect class header in error message for generic class in void-safe system

Description
Under very particular circumstances (void-safe system with generic
constrained by itself and a class type), the class header displayed
in an error message is incorrect.

In the attached example, the header of the class with the VEEN error is

   class TEST1 [G -> {G, G, G, STRING}]

But in the VEEN error message, the compiler says the class is:

   Class: TEST1 [G -> {G}]

Note that when compiling the same classes without void-safety (and without
base-safe library and precompile), the compiler reports the class
header correctly.
To Reproduce
Compile with attached classes and config file.
Examine the "Class:" part of the VEEN error.
Problem Report Interactions
From:alexk_es    Date:2010/08/17    Status: Closed    Download   
The second attempt to close.

From:alexk_es    Date:2010/08/17    Status: Closed    Download   
Fixed in rev#84192 of EiffelStudio 6.7 intermediate release.

From:prestoat2000    Date:2010/07/06    Download   
Attachments for problem report #16948

Attachment: test.e     Size:113
Attachment: test1.e     Size:78
Attachment: test.ecf     Size:1150