PR# 12453 Wrong color used for features in VYCQ(2) error

Problem Report Summary

Submitter: manus_eiffel

Category: EiffelStudio

Priority: Medium

Date: 2007/04/06

Class: Bug

Severity: Serious

Number: 12453

Release: 6.0.6.7670

Confidential: No

Status: Closed

Responsible:

Environment: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.3) Gecko/20070309 Firefox/2.0.0.3

Synopsis: Wrong color used for features in VYCQ(2) error

Description

When you have a VYCQ(2) error, the feature name is in blue rather than in green:

-------------------------------------------------------------------------------

Error code: VYCQ(2)
Error: current class conforms to target of conversion query.
What to do: make sure current class does not conform to target of
  conversion query or remove the target from the type list.

Class: BIT_REF
Feature name: to_reference
Conversion type: BIT_REF

To Reproduce

Take BIT_REF from the 5.7 delivery and try to compile it with the latest compiler.

Problem Report Interactions

From:manus_eiffel Date:2008/12/11 Status: Closed Download

Fixed in rev#76142.