Rename/Redefine Table is Incorrect ?

Article View: comp.lang.eiffel

Article #1619

#1619

From: Ted Lawson
Date: Thu, 01 Mar 1990 16:36

24 lines
1203 bytes

	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

Technical Details

Message-ID: <1190@cf-cm.UUCP>

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!mcsun!ukc!reading!cf-cm!ted

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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