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=0.6 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM,UNCLOSED_BRACKET autolearn=no autolearn_force=no
	version=3.4.4
X-Google-Thread: a07f3367d7,276adc24c378e1af
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news2.google.com!news1.google.com!news.glorb.com!feeder.erje.net!feeder.news-service.com!newsfeed101.telia.com!nf02.dk.telia.net!news.tele.dk!feed118.news.tele.dk!dotsrc.org!filter.dotsrc.org!news.dotsrc.org!not-for-mail
Date: Fri, 22 May 2009 07:07:28 +0200
From: =?UTF-8?B?VGhvbWFzIEzDuGNrZQ==?= <thomas.granvej6@gmail.com>
Organization: Ada DK
User-Agent: Thunderbird 2.0.0.21 (X11/20090302)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Vectors.Insert_Space bug?
References: <4a146f41$0$90265$14726298@news.sunsite.dk>
 <nospam-A1749E.21564420052009@news.aioe.org>
In-Reply-To: <nospam-A1749E.21564420052009@news.aioe.org>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <4a163310$0$90267$14726298@news.sunsite.dk>
NNTP-Posting-Host: 83.91.213.86
X-Trace: news.sunsite.dk
 DXC=_GXLQ6l\7D4kVm3Q1RnDK5YSB=nbEKnk;f2;89Q0P2=2]KcSoP8OK@8@kCUDmHHZ?5:WTk`c[X5;?<XPZbP]Z>B:=RnXSkYFN[8
X-Complaints-To: staff@sunsite.dk
Xref: g2news2.google.com comp.lang.ada:5974
Date: 2009-05-22T07:07:28+02:00
List-Id: <comp.lang.ada>

John B. Matthews wrote:
> 
> I get the same result with 4.3.4.
> 
> It looks like the old element 5 slid to position 8. The three empties 
> are at positions 5, 6 and 7. Note that "Empty elements do not have a 
> specified value." In particular, "Reading the value of an empty element 
> by calling Element" is a bounded error, and "The implementation may 
> treat the [empty] element as having any normal value...":
> 
> <http://www.adaic.com/standards/05rm/html/RM-A-18-2.html>
> 

Hello John,

Thank you for the explanation. Between your post and some help from the 
#ada guys, I've finally succeeded in understanding how this works.

I guess I just needed to wrap my head around the fact that "empty" in 
this context actually means "unpredictable value".  :o)

Regards,
Thomas Løcke