From: Bojan Bozovic <bozovic.bojan@gmail.com>
Subject: When enumerating does Ada enumerated type goes up to up to Integer'Last or System.Max_Int
Date: Thu, 22 Mar 2018 11:44:00 -0700 (PDT)
Date: 2018-03-22T11:44:00-07:00 [thread overview]
Message-ID: <dc47e68e-ce35-4685-a72f-dbee667ae2a2@googlegroups.com> (raw)
http://www.adaic.org/resources/add_content/standards/05aarm/html/AA-3-5-1.html
Now this is more theory question as Ada Integer'Last is guaranteed to be at least 2**15-1 and perhaps nobody exhausted it by enumerating in practice, but that is minimal Integer'Last and nothing prevents implementation to have bigger System.Max_Int than its Integer'Last (as its in current GNAT which have System.Max_Int of 2**63-1).
Thanks for the answer. Maybe its there written in AARM but wording is terse.
next reply other threads:[~2018-03-22 18:44 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-03-22 18:44 Bojan Bozovic [this message]
2018-03-22 18:50 ` When enumerating does Ada enumerated type goes up to up to Integer'Last or System.Max_Int Shark8
2018-03-22 19:03 ` Bojan Bozovic
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