comp.lang.ada
 help / color / mirror / Atom feed
From: hnptz@yahoo.de
Subject: Re: Generic_Rational
Date: Sat, 17 Feb 2018 06:13:42 -0800 (PST)
Date: 2018-02-17T06:13:42-08:00	[thread overview]
Message-ID: <e8943163-fdca-4c91-b388-fe561e3945e6@googlegroups.com> (raw)
In-Reply-To: <e021a833-75f7-4f58-9eb8-eaf44af84fdd@googlegroups.com>

Thanks, it's working now. Nevertheless a further question:

Simon wrote

"... When the test program says 

   for Candidate in 2..2**15 loop 

Candidate is of type Integer (see ARM 3.6(17..18)[1], so that when it 
says ... "

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?


  parent reply	other threads:[~2018-02-17 14:13 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 ` hnptz [this message]
2018-02-17 14:47   ` Generic_Rational Simon Wright
2018-02-17 16:41   ` Generic_Rational Jeffrey R. Carter
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox