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
The second attempt to close.
Fixed in rev#84192 of EiffelStudio 6.7 intermediate release.