From: Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: Question about asynchronous calls
Date: Wed, 06 Nov 2013 13:49:52 -0700
Date: 2013-11-06T13:49:52-07:00 [thread overview]
Message-ID: <l5ea1h$2u4$1@dont-email.me> (raw)
In-Reply-To: <8a7f97ef-672e-4930-9502-e1202dd158fd@googlegroups.com>
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.
--
Jeff Carter
"Mr. President, we must not allow a mine-shaft gap!"
Dr. Strangelove
33
next prev parent reply other threads:[~2013-11-06 20:49 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 [this message]
2013-11-06 20:58 ` Shark8
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox