NICE-ESG-Libs Digest Fri, 16 Feb 96 Volume 2 : Issue 3
Today's Topics:
Two comments
NICE Eiffel Standards Group -- Library Committee Mailing List
To post to list:
NICE-ESG-Libs@atlanta.twr.com
To send mail to the Chairman of the committee:
NICE-ESG-Libs-chair@atlanta.twr.com
Administrative matters (sign up, unsubscribe, mail problems, etc):
NICE-ESG-Libs-request@atlanta.twr.com
Date: Fri, 16 Feb 1996 08:35:30 +0000
From: Roger Browne
Subject: Two comments
To: NICE-ESG-Libs@atlanta.twr.com
> 1. Proposal RB-1
> ----------------
>
> I had some trouble understanding proposal RB-1, intended (I think)
> to be about HASHABLE.
>
> ...The next message (25 Nov 95) does contain a proposal,
> ``Remove note from HASHABLE''. However it does not correspond
> to anything that I can find in the version of HASHABLE that
> is on the FTP server, whose text begins
>
> indexing
> description : "Values that may be hashed into an integer index, for use as
> keys in hash tables."
> deferred class interface
> HASHABLE
> feature -- Access
> hash_code: INTEGER
> -- Hash code value
> deferred
> ensure
> good_hash_value : Result >= 0
> end
>
> Can anyone find fault with this?
I downloaded a fresh copy of ELS from your FTP server on the day
I submitted the proposal, and that version contained the indexing
subclause that I proposed to remove.
The version that is now present must have been made available
for FTP after that date (even if you edited it before that date).
> There may have been earlier versions with restrictions on hashing
> the default value...
The previous version was announced as the standard and
released to the world.
I am one of those who would prefer a formal approach to
maintenance of the standard.
> 2. General mode of working
> --------------------------
> ...
I have no new comments to add to those I have previously voiced
many times.
I will comply with the instructions of the Committee Chair.
Regards,
Roger
--
-- Roger Browne, 6 Bambers Walk, Wesham, PR4 3DG, UK | Ph 01772-687525
-- Everything Eiffel: compilers/libraries/publications | +44-1772-687525
|
|
