PR# 19303 [er] Multiple inherit clauses

Problem Report Summary
Submitter: axarosenberg
Category: Compiler
Priority: Low
Date: 2016/11/28
Class: Bug
Severity: Non-critical
Number: 19303
Release: 16.05
Confidential: No
Status: Open
Responsible: alexk_es
Environment: win
Synopsis: [er] Multiple inherit clauses

The ECMA standard allows multiple inherit clauses:

8.6.1 Syntax: Inheritance parts        Code: SHIP
Inheritance = Inherit_clause+
Inherit_clause = inherit [Non_conformance] Parent_list
Non_conformance = "{" NONE "}"

But EiffelStudio only allows at most one conforming inherit clause and at most one non-conforming inherit clause (in that order).

Eric Bezault
To Reproduce

Problem Report Interactions