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

Description
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