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,c0581b94f07c034a
X-Google-Attributes: gid103376,public
From: tmoran@bix.com (Tom Moran)
Subject: Re: Constraint Error - Please Help
Date: 1998/12/02
Message-ID: <3665bb15.8050794@news.pacbell.net>#1/1
X-Deja-AN: 418002052
References: <7445iv$gog$1@news.nyu.edu>
X-Complaints-To: abuse@pacbell.net
X-Trace: typhoon-sf.snfc21.pbi.net 912636798 207.214.215.18 (Wed,
 02 Dec 1998 14:13:18 PDT)
Organization: SBC Internet Services
NNTP-Posting-Date: Wed, 02 Dec 1998 14:13:18 PDT
Newsgroups: comp.lang.ada
Date: 1998-12-02T00:00:00+00:00
List-Id: <comp.lang.ada>

>    for i in x'first+1..x'last loop
>       this:=i;
>       parent:= (i-1)/2;
>       contents:=copy(this);
>----------------------------------------------------------------
>-- here's the line with the exception ---
>       while this /= x'first and then copy(parent)<contents loop
this is surely never equal to x'first since it starts at x'first+1 and
increments.  The first time through the loop i=x'first+1 so
parent=x'first/2 and if x'first=1 then parent = 0 which is out of
copy'range.