From: Shark8 <onewingedshark@gmail.com>
Subject: Re: Question about asynchronous calls
Date: Wed, 6 Nov 2013 12:58:41 -0800 (PST)
Date: 2013-11-06T12:58:41-08:00 [thread overview]
Message-ID: <50b93cb1-3301-4799-b645-4372315b4aab@googlegroups.com> (raw)
In-Reply-To: <l5ea1h$2u4$1@dont-email.me>
On Wednesday, November 6, 2013 1:49:52 PM UTC-7, Jeffrey Carter wrote:
> On 11/06/2013 12:54 PM, Shark8 wrote:
> >
> > Ex: Some_Array'Length returns Natural, I don't have to check for -1 whenever I use it.
>
> 'Length returns universal_integer (see ARM 3.6.2) so this is not an argument for subtypes (though there are many arguments for them). 'Length is defined not to return a negative value, so if it does do so, you have a compiler error.
Ah, you're right. That's what happens when I try shortening/refactoring quickly.
(I should have stuck with the first thing I thought of, a hypothetical 'count' returning natural.)
prev parent reply other threads:[~2013-11-06 20:58 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-11-06 11:05 Question about asynchronous calls mockturtle
2013-11-06 18:49 ` J-P. Rosen
2013-11-06 20:40 ` mockturtle
2013-11-06 19:54 ` Shark8
2013-11-06 20:49 ` mockturtle
2013-11-07 7:46 ` Stefan.Lucks
2013-11-07 10:23 ` Predicates (was: Question about asynchronous calls) Georg Bauhaus
2013-11-07 18:59 ` Question about asynchronous calls mockturtle
2013-11-07 8:18 ` Jacob Sparre Andersen
2013-11-07 19:00 ` mockturtle
2013-11-06 20:49 ` Jeffrey Carter
2013-11-06 20:58 ` Shark8 [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox