Path: utzoo!attcan!uunet!mcsun!ukc!reading!cf-cm!ted
From: ted@computing-maths.cardiff.ac.uk (Ted Lawson)
Newsgroups: comp.lang.eiffel
Subject: Rename/Redefine Table is Incorrect ?
Message-ID: <1190@cf-cm.UUCP>
Date: 1 Mar 90 16:36:12 GMT
Reply-To: ted@computing-maths.cardiff.ac.uk (Ted Lawson)
Organization: University of Wales College of Cardiff, Cardiff, WALES, UK.
Lines: 24
Keywords:


	One entry in the rename/redefine table on page 155 of
	Eiffel: The Language (page 260 of OOSC) appears to be incorrect.

	Case 6 of the table claims that

		rename old as new
		redefine old, new

	causes b.old to bind to the same feature as c.new. However, on
	both our Vax and Sun implementations of Eiffel 2.2 I find that
	b.old binds to the same feature as c.old.

	Questions about the rationality of the semantics documented by
	this particular table entry have been raised here in the past
	[mmartin, 2431@isis.UUCP, Mar 89] ( - and answered
	[kain, 5434@corona.UUCP, Mar 89] ). Is the observed behaviour
	a fault, or has the mechanism been changed in version 2.2  so
	as to make the semantics easier to understand ?

Ted Lawson

ted@uk.ac.cf.cm
ted%cm.cf.ac.uk@nsfnet-relay.ac.uk