comp.lang.ada
 help / color / mirror / Atom feed
From: Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: index check failure - constraint error
Date: Fri, 01 Apr 2011 15:31:18 -0700
Date: 2011-04-01T15:31:18-07:00	[thread overview]
Message-ID: <in5jpm$i7i$1@tornado.tornevall.net> (raw)
In-Reply-To: <8fc6d308-c548-4efc-9f5d-aa1bc37742d8@dr5g2000vbb.googlegroups.com>

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



  reply	other threads:[~2011-04-01 22:31 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-04-01 10:53 index check failure - constraint error tonyg
2011-04-01 11:07 ` tonyg
2011-04-01 11:27   ` Alex Mentis
2011-04-01 11:33     ` Alex Mentis
2011-04-01 11:36     ` Alex Mentis
2011-04-01 12:18     ` Georg Bauhaus
2011-04-01 22:20       ` tonyg
2011-04-01 23:37         ` Ludovic Brenta
2011-04-01 11:12 ` Egil Høvik
2011-04-01 11:17   ` tonyg
2011-04-01 12:13     ` Ludovic Brenta
2011-04-01 15:02     ` Adam Beneschan
2011-04-01 17:39 ` Jeffrey Carter
2011-04-01 22:16   ` tonyg
2011-04-01 22:31     ` Jeffrey Carter [this message]
2011-04-01 22:49       ` Robert A Duff
2011-04-01 23:00         ` Adam Beneschan
2011-04-01 23:29           ` Robert A Duff
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox