PR# 19297 [er] Non-conforming inheritance and VMCS
Problem Report Summary
Submitter: axarosenberg
Category: Compiler
Priority: Low
Date: 2016/11/19
Class: Bug
Severity: Non-critical
Number: 19297
Release: 16.05
Confidential: No
Status: Suspended
Responsible: alexk_es
Environment: win
Synopsis: [er] Non-conforming inheritance and VMCS
Description
I have the following classes: ~~~~~~~~~~~~~~~~~~~~~ class AA feature f (i: INTEGER) do x := i end x: INTEGER end ~~~~~~~~~~~~~~~~~~~~~ class BB inherit {NONE} AA rename x as x1 end AA rename x as x2 end end ~~~~~~~~~~~~~~~~~~~~~ According to ECMA, the compiler should report a VMCS error because `f' is shared and `x' is replicated. But the compiler does not report an error and instead chooses arbitrarily `x1' as the target of the assignment in B.f. -- Eric Bezault
To Reproduce
Problem Report Interactions
Our current implementation of non-conforming inheritance is not complete at the moment. There is a hidden switch that follows the standard better but it was a breaking changes for existing library. We should have disabled the support as well instead of relying on this hidden option. For the time being, we would recommend not using it.