* Under which category of types in the ARM do Natural and Positive fall?
@ 2004-09-13 13:04 matthias_k
2004-09-13 13:49 ` Peter Amey
` (2 more replies)
0 siblings, 3 replies; 10+ messages in thread
From: matthias_k @ 2004-09-13 13:04 UTC (permalink / raw)
Are those predefined Integer types? That would mean they fall under the
"signed" category, which doesn't make sense. However, there's only a
signed and modular category.
Where's the difference between Natural and Positive anyway?
- Matthias
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: Under which category of types in the ARM do Natural and Positive fall?
2004-09-13 13:04 Under which category of types in the ARM do Natural and Positive fall? matthias_k
@ 2004-09-13 13:49 ` Peter Amey
2004-09-15 19:31 ` Under which category of types in the ARM do Natural and Positivefall? Joe Simon
2004-09-16 13:28 ` Under which category of types in the ARM do Natural and Positive fall? David C. Hoos
2004-09-13 13:49 ` Björn Persson
2004-09-13 14:00 ` Martin Dowie
2 siblings, 2 replies; 10+ messages in thread
From: Peter Amey @ 2004-09-13 13:49 UTC (permalink / raw)
matthias_k wrote:
>[snip]
>
> Where's the difference between Natural and Positive anyway?
>
Sorry, just can't resist the temptation to answer "nothing".
Peter
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: Under which category of types in the ARM do Natural and Positive fall?
2004-09-13 13:04 Under which category of types in the ARM do Natural and Positive fall? matthias_k
2004-09-13 13:49 ` Peter Amey
@ 2004-09-13 13:49 ` Björn Persson
2004-09-13 14:00 ` Martin Dowie
2 siblings, 0 replies; 10+ messages in thread
From: Björn Persson @ 2004-09-13 13:49 UTC (permalink / raw)
matthias_k wrote:
> Are those predefined Integer types? That would mean they fall under the
> "signed" category, which doesn't make sense. However, there's only a
> signed and modular category.
>
> Where's the difference between Natural and Positive anyway?
Reference manual, 3.5.4(13):
subtype Natural is Integer range 0 .. Integer'Last;
subtype Positive is Integer range 1 .. Integer'Last;
--
Björn Persson PGP key A88682FD
omb jor ers @sv ge.
r o.b n.p son eri nu
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: Under which category of types in the ARM do Natural and Positive fall?
2004-09-13 13:04 Under which category of types in the ARM do Natural and Positive fall? matthias_k
2004-09-13 13:49 ` Peter Amey
2004-09-13 13:49 ` Björn Persson
@ 2004-09-13 14:00 ` Martin Dowie
2 siblings, 0 replies; 10+ messages in thread
From: Martin Dowie @ 2004-09-13 14:00 UTC (permalink / raw)
matthias_k wrote:
> Are those predefined Integer types? That would mean they fall under
> the "signed" category, which doesn't make sense. However, there's
> only a signed and modular category.
They are subtypes of "Integer", defined in the predefined package
"Standard".
> Where's the difference between Natural and Positive anyway?
Natural'First = 0
Positive'First = 1
Reference Manural Annex A.1
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: Under which category of types in the ARM do Natural and Positivefall?
2004-09-13 13:49 ` Peter Amey
@ 2004-09-15 19:31 ` Joe Simon
2004-09-16 13:28 ` Under which category of types in the ARM do Natural and Positive fall? David C. Hoos
1 sibling, 0 replies; 10+ messages in thread
From: Joe Simon @ 2004-09-15 19:31 UTC (permalink / raw)
Peter Amey wrote:
> matthias_k wrote:
> >[snip]
> >
> > Where's the difference between Natural and Positive anyway?
> >
>
> Sorry, just can't resist the temptation to answer "nothing".
>
> Peter
Great Answer :)
--
Joe Simon
Owego, NY
Remove .NOSPAM to send e-mail
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: Under which category of types in the ARM do Natural and Positive fall?
2004-09-13 13:49 ` Peter Amey
2004-09-15 19:31 ` Under which category of types in the ARM do Natural and Positivefall? Joe Simon
@ 2004-09-16 13:28 ` David C. Hoos
2004-09-16 15:40 ` Ed Falis
1 sibling, 1 reply; 10+ messages in thread
From: David C. Hoos @ 2004-09-16 13:28 UTC (permalink / raw)
To: comp.lang.ada@ada.eu.org
Well, "nothing" would be a fine answer, if it were a correct one.
Natural numbers include zero, while positive numbers exclude zero.
----- Original Message -----
From: "Peter Amey" <peter.amey@praxis-cs.co.uk>
Newsgroups: comp.lang.ada
To: <comp.lang.ada@ada-france.org>
Sent: Monday, September 13, 2004 8:49 AM
Subject: Re: Under which category of types in the ARM do Natural and
Positive fall?
>
>
> matthias_k wrote:
> >[snip]
> >
> > Where's the difference between Natural and Positive anyway?
> >
>
> Sorry, just can't resist the temptation to answer "nothing".
>
>
> Peter
>
>
> _______________________________________________
> comp.lang.ada mailing list
> comp.lang.ada@ada-france.org
> http://www.ada-france.org/mailman/listinfo/comp.lang.ada
>
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: Under which category of types in the ARM do Natural and Positive fall?
2004-09-16 13:28 ` Under which category of types in the ARM do Natural and Positive fall? David C. Hoos
@ 2004-09-16 15:40 ` Ed Falis
2004-09-16 17:53 ` Randy Brukardt
0 siblings, 1 reply; 10+ messages in thread
From: Ed Falis @ 2004-09-16 15:40 UTC (permalink / raw)
On Thu, 16 Sep 2004 08:28:22 -0500, David C. Hoos
<david.c.hoos.sr@ada95.com> wrote:
> Well, "nothing" would be a fine answer, if it were a correct one.
I think the joke was that the difference was "0"
;-)
- Ed
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: Under which category of types in the ARM do Natural and Positive fall?
2004-09-16 15:40 ` Ed Falis
@ 2004-09-16 17:53 ` Randy Brukardt
2004-09-16 18:02 ` Ed Falis
0 siblings, 1 reply; 10+ messages in thread
From: Randy Brukardt @ 2004-09-16 17:53 UTC (permalink / raw)
"Ed Falis" <falis@verizon.net> wrote in message
news:opsefe48mv5afhvo@localhost...
> On Thu, 16 Sep 2004 08:28:22 -0500, David C. Hoos
> <david.c.hoos.sr@ada95.com> wrote:
>
> > Well, "nothing" would be a fine answer, if it were a correct one.
>
>
> I think the joke was that the difference was "0"
>
> ;-)
Oh, wow, that was a joke? I think it needed a roadmap - thanks for giving us
one.
Randy.
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: Under which category of types in the ARM do Natural and Positive fall?
2004-09-16 17:53 ` Randy Brukardt
@ 2004-09-16 18:02 ` Ed Falis
2004-09-16 23:05 ` Dale Stanbrough
0 siblings, 1 reply; 10+ messages in thread
From: Ed Falis @ 2004-09-16 18:02 UTC (permalink / raw)
On Thu, 16 Sep 2004 12:53:34 -0500, Randy Brukardt <randy@rrsoftware.com>
wrote:
> Oh, wow, that was a joke? I think it needed a roadmap - thanks for
> giving us
> one.
Hey, I didn't put it there, but I did get it. :-P
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: Under which category of types in the ARM do Natural and Positive fall?
2004-09-16 18:02 ` Ed Falis
@ 2004-09-16 23:05 ` Dale Stanbrough
0 siblings, 0 replies; 10+ messages in thread
From: Dale Stanbrough @ 2004-09-16 23:05 UTC (permalink / raw)
Ed Falis wrote:
> Hey, I didn't put it there, but I did get it. :-P
As did I! :-)
(and i thought it was funny!)
dale
--
dstanbro@spam.o.matic.bigpond.net.au
^ permalink raw reply [flat|nested] 10+ messages in thread
end of thread, other threads:[~2004-09-16 23:05 UTC | newest]
Thread overview: 10+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-09-13 13:04 Under which category of types in the ARM do Natural and Positive fall? matthias_k
2004-09-13 13:49 ` Peter Amey
2004-09-15 19:31 ` Under which category of types in the ARM do Natural and Positivefall? Joe Simon
2004-09-16 13:28 ` Under which category of types in the ARM do Natural and Positive fall? David C. Hoos
2004-09-16 15:40 ` Ed Falis
2004-09-16 17:53 ` Randy Brukardt
2004-09-16 18:02 ` Ed Falis
2004-09-16 23:05 ` Dale Stanbrough
2004-09-13 13:49 ` Björn Persson
2004-09-13 14:00 ` Martin Dowie
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox