From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Instantiating package problems Date: Tue, 5 Jan 2016 08:35:35 +0100 Organization: Aioe.org NNTP Server Message-ID: References: <7dcd49f3-b04f-4ea3-b431-5c27f73b9afe@googlegroups.com> <87poxixqmy.fsf@theworld.com> NNTP-Posting-Host: LNA1TkTuMxfwTHzeJdi6nA.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:38.0) Gecko/20100101 Thunderbird/38.5.0 X-Notice: Filtered by postfilter v. 0.8.2 Xref: news.eternal-september.org comp.lang.ada:29017 Date: 2016-01-05T08:35:35+01:00 List-Id: On 2016-01-04 23:39, Anh Vo wrote: > On Monday, January 4, 2016 at 1:10:59 PM UTC-8, Dmitry A. Kazakov wrote: >> Note that it precludes zero divide, provided Ada 2012 can understand it, >> according to 3.5.4 (8) it must, but I am not a language lawer. > > Neither, I am a language lawyer. However, did not see paragraph LRM 3.5.4 (8) precluded zero divide for Integer type. 3.5.4 (8) defines the set of integer values as Z. Since x/0 is not an integer value (Z) it is not in any range of, mathematically speaking... Similarly 3.5.7 (8) means that Float'Range may not include NaN. Though floating point operations are allowed to return NaN. That is why one needs lawyers! -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de