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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,1b6f0735bc6de58e
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!feeder.news-service.com!94.75.214.39.MISMATCH!aioe.org!news.tornevall.net!.POSTED!not-for-mail
From: Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: index check failure - constraint error
Date: Fri, 01 Apr 2011 15:31:18 -0700
Organization: TornevallNET - http://news.tornevall.net
Message-ID: <in5jpm$i7i$1@tornado.tornevall.net>
References: 
 <a60d3c79-14ca-4cf1-87d4-a51c061effff@s33g2000vbb.googlegroups.com>
 <in52mt$gqt$1@tornado.tornevall.net>
 <8fc6d308-c548-4efc-9f5d-aa1bc37742d8@dr5g2000vbb.googlegroups.com>
NNTP-Posting-Host: 9b8994c97251daaf5b3a7cb053be5ecc
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: b92e3beddd2d4262330fd47b715e56ba
X-Complaints-To: abuse@tornevall.net
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US;
 rv:1.9.2.14) Gecko/20110223 Thunderbird/3.1.8
X-Complaints-Language: Spoken language is english or swedish - NOT ITALIAN,
 FRENCH, GERMAN OR ANY OTHER LANGUAGE!
In-Reply-To: 
 <8fc6d308-c548-4efc-9f5d-aa1bc37742d8@dr5g2000vbb.googlegroups.com>
X-UserIDNumber: 1738
X-Validate-Post: 
 http://news.tornevall.net/validate.php?trace=b92e3beddd2d4262330fd47b715e56ba
X-Complaints-Italiano: Non abbiamo padronanza della lingua italiana - se
 mandate una email scrivete solo in Inglese, grazie
X-Posting-User: 0243687135df8c4b260dd4a9a93c79bd
Xref: g2news1.google.com comp.lang.ada:18673
Date: 2011-04-01T15:31:18-07:00
List-Id: <comp.lang.ada>

On 04/01/2011 03:16 PM, tonyg wrote:
>
> It so so does :) Thanks for that Preben. I hadn't got that far to
> discover the godzilla sized error that would of created. Thanks as
> well for the help off everyone else.

Preben Randhol is the person I'm quoting in my signature, not me.

The idea that Strings always have a lower bound of 1 is quite common among 
beginners. I recall noticing it causing others problems when I first learned Ada 
in 1984. For some reason I never made that assumption.

In SPARK all Strings do have a lower bound of 1.

-- 
Jeff Carter
"Saving keystrokes is the job of the text editor,
not the programming language."
Preben Randhol
64