From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: Generic_Rational
Date: Sat, 17 Feb 2018 17:41:10 +0100
Date: 2018-02-17T17:41:10+01:00 [thread overview]
Message-ID: <p69lv6$504$1@dont-email.me> (raw)
In-Reply-To: <e8943163-fdca-4c91-b388-fe561e3945e6@googlegroups.com>
On 02/17/2018 03:13 PM, hnptz@yahoo.de wrote:
>
> Does a loop from 2..2**15 exceed the bounds of an integer type by one ? (see also 3.5.4(21)). If so, then Candidate should be become a Long_Integer type following 3.6(19). What may be wrong with this interpretation?
That's the minimum range required of the predefined type Integer. The actual
range is implementation-defined and may be larger. I think the language would be
better if it defined
type Integer is range -(2 ** 15) + 1 .. 2 ** 15 - 1;
and didn't have the optional Short_ and Long_ types.
--
Jeff Carter
"Pray that there's intelligent life somewhere up in
space, 'cause there's bugger all down here on earth."
Monty Python's Meaning of Life
61
prev parent reply other threads:[~2018-02-17 16:41 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-02-17 11:52 Generic_Rational hnptz
2018-02-17 12:33 ` Generic_Rational Simon Wright
2018-02-17 14:13 ` Generic_Rational hnptz
2018-02-17 14:47 ` Generic_Rational Simon Wright
2018-02-17 16:41 ` Jeffrey R. Carter [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