From: Bojan Bozovic <bozovic.bojan@gmail.com>
Subject: Re: When enumerating does Ada enumerated type goes up to up to Integer'Last or System.Max_Int
Date: Thu, 22 Mar 2018 12:03:18 -0700 (PDT)
Date: 2018-03-22T12:03:18-07:00 [thread overview]
Message-ID: <25224724-5ff0-4afe-9a17-5e1aa22f95f2@googlegroups.com> (raw)
In-Reply-To: <2e11e4ad-1b71-42bb-b1f3-e76d1dd69c2b@googlegroups.com>
On Thursday, March 22, 2018 at 7:50:53 PM UTC+1, Shark8 wrote:
> On Thursday, March 22, 2018 at 12:44:02 PM UTC-6, Bojan Bozovic wrote:
> > http://www.adaic.org/resources/add_content/standards/05aarm/html/AA-3-5-1.html
>
>
> Or should either of them be controlling? (Arguably yes, because of the 'Pos and 'Val attributes; but OTOH enumerations **ARE NOT** tied to Integer in the Ada-mindset.)
Sure I understand, but 'Pos of enumeration type must be Integer, is it Integer or Universal_Integer? Nothing prevents implementation from having Integer'Last of 2**15-1 and System.Max_Int that is 2*127-1 or even higher. It will still be valid implementation, as far as I can see.
next prev parent reply other threads:[~2018-03-22 19:03 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-03-22 18:44 When enumerating does Ada enumerated type goes up to up to Integer'Last or System.Max_Int Bojan Bozovic
2018-03-22 18:50 ` Shark8
2018-03-22 19:03 ` Bojan Bozovic [this message]
2018-03-22 19:04 ` Shark8
2018-03-22 19:08 ` Bojan Bozovic
2018-03-22 21:21 ` Jeffrey R. Carter
2018-03-23 5:04 ` Bojan Bozovic
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox