From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a7f223906eb859a
X-Google-Attributes: gid103376,public
From: nobody@REPLAY.COM (Anonymous)
Subject: Re: GOTO considered necessary
Date: 1997/06/09
Message-ID: <199706091413.QAA02025@basement.replay.com>#1/1
X-Deja-AN: 247249949
References: <5n977i$2cmc$1@prime.imagin.net> 
Organization: Replay and Company UnLimited
X-001: Replay may or may not approve of the content of this posting
Mail-To-News-Contact: postmaster@nym.alias.net
X-002: Report misuse of this automated service to <abuse@replay.com>
X-URL: http://www.replay.com/remailer/
Newsgroups: comp.lang.ada
Date: 1997-06-09T00:00:00+00:00
List-Id: <comp.lang.ada>


One comment about the example with and without goto for a binary tree:
Both versions make the implicit assumption that Bv'Last < Natural'Last
(so that Bit > Bv'Last can be used to terminate if no new nodes are
needed). It would be better to make this assumption explicit by using a
different index subtype for Bit_Vector:

   subtype Bit_Vector_Index is Natural range 0 .. Natural'Last - 1;
   type Bit_Vector is array (Bit_Vector_Index range <>) of Boolean;
   Bit : Natural;

Murphy guarantees that someone will invoke this with Bv'Last =
Natural'Last sometime, causing a failure, if this change isn't made.

Jeff Carter  PGP:1024/440FBE21
My real e-mail address: ( carter @ innocon . com )
"Now go away, or I shall taunt you a second time."
Monty Python & the Holy Grail

Posted with Spam Hater - see
http://www.compulink.co.uk/~net-services/spam/