PR# 17513 Wrong formal generic name reported for precursor feature in VDRD(2) error message

Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2011/05/10
Class: Bug
Severity: Non-critical
Number: 17513
Release: 6.8.86405
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (X11; SunOS sun4u; rv:2.0) Gecko/20100101 Firefox/4.0 Solaris 10 on SPARC
Synopsis: Wrong formal generic name reported for precursor feature in VDRD(2) error message

Description
Compiling with the attached classes causes the compiler to correctly report a
VDRD(2) error.  However, the error message says:

   Class: TEST2 [G]
   Redefined feature: success: BOOLEAN From: TEST2
   Precursor: success: WEASEL From: TEST1

The type of the precursor feature is actually formal generic ERMINE, not WEASEL,
so the error message is very confusing.


To Reproduce
Compile with attached classes and config file.
Examine error message and compare with the type of feature `success' in
class TEST2.
Problem Report Interactions
From:prestoat2000    Date:2011/05/10    Download   
Attachments for problem report #17513

Attachment: test.e     Size:97
Attachment: test1.e     Size:88
Attachment: test2.e     Size:101
Attachment: test.ecf     Size:1048