From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: index check failure - constraint error
Date: Fri, 01 Apr 2011 18:49:05 -0400
Date: 2011-04-01T18:49:05-04:00 [thread overview]
Message-ID: <wccpqp5io4e.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: in5jpm$i7i$1@tornado.tornevall.net
Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org> writes:
> The idea that Strings always have a lower bound of 1 is quite common
> among beginners.
Whereas experts understand that it OUGHT to be true that
"Strings always have a lower bound of 1", but it isn't true.
It's a design flaw in the Ada language.
> In SPARK all Strings do have a lower bound of 1.
As they should. It really makes things simpler.
And (could be) more efficient.
- Bob
next prev parent reply other threads:[~2011-04-01 22:49 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
2011-04-01 22:49 ` Robert A Duff [this message]
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