PR# 19637 Rename clause with multiple aliases not taken into account in redeclaration
Problem Report Summary
Submitter: gobobe
Category: Compiler
Priority: High
Date: 2020/04/20
Class: Bug
Severity: Critical
Number: 19637
Release: 20.03.10.3992
Confidential: No
Status: Analyzed
Responsible:
Environment: win
Synopsis: Rename clause with multiple aliases not taken into account in redeclaration
Description
When compiling these classes: ~~~~~~~~~~~~~~ deferred class BB feature product (other: INTEGER): INTEGER deferred end end ~~~~~~~~~~~~~~ class CC inherit BB rename product as product alias "*" alias "×" end feature product alias "*" alias "×" (other: INTEGER): INTEGER do Result := other * 2 end end ~~~~~~~~~~~~~~ EiffelStudio complains: ~~~~~~~~~~~~~~ 1 ECMA-VDRD(7) Redeclaration has different alias. CC (bb) Error code: ECMA-VDRD(7) Error: redeclaration has different alias. What to do: make sure the aliases are the same. Class: CC Feature: product alias "*" alias "×" (other: INTEGER_32): INTEGER_32 Version from: CC Feature: product alias "*" (other: INTEGER_32): INTEGER_32 Version from: BB ~~~~~~~~~~~~~~ as if it did not take into account the second alias in the rename clause. -- Eric Bezault
To Reproduce
Problem Report Interactions
Added eweasel test#syntax075.