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
Confidential: No
Status: Closed
Responsible: alexk_es
Environment: win
Synopsis: Typo in error message for VTMC-3

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
From:alexk_es    Date:2019/03/21    Status: Closed    Download   
Fixed in rev#103000 of EiffelStudio 19.05 intermediate release (beta 19.03).