PR# 19512 Typo in error message for VTMC-3
Problem Report Summary
Submitter: gobobe
Category: Compiler
Priority: Low
Date: 2019/01/14
Class: Documentation
Severity: Non-critical
Number: 19512
Release: 18.11.10.2592
Confidential: No
Status: Closed
Responsible: alexk_es
Environment: win
Synopsis: Typo in error message for VTMC-3
Description
I got this error message: ------------------------------------------------------------------------------- Error code: VTMC(3) Error: A renaming cannot be applied to a formal constraint. What to do: Resolve feautre conflicts directly on the constraint type which provides the feature. This will be a class type, not a formal. MULTI [G -> H rename f as g end, H -> B] H is a formal, but you can apply the renaming to B, which is a class type: MULTI [G -> H, H -> B rename f as g end] Class: BB [G -> H rename f as g end, H -> CC] Feature: inheritance or invariant clause It is not allowed to apply a renaming to constraint which is a formal generic or NONE. Type: G#2 ------------------------------------------------------------------------------- There is a typo: feautre -> feature Also, note that this validity error is not in the Eiffel standard. If it's to be added, I would rather put in under VTGC (now known as VGGC in the ECMA working document 3-16). -- Eric Bezault
To Reproduce
Problem Report Interactions
Fixed in rev#103000 of EiffelStudio 19.05 intermediate release (beta 19.03).