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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no 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: getting same output as gfortran, long_float Date: Mon, 4 May 2015 16:47:21 +0200 Organization: cbb software GmbH Message-ID: <1pt8prok2jax6.distrri6z4l9.dlg@40tude.net> References: <1kxou0nloqg9c$.1x0itzgdrlosm$.dlg@40tude.net> <1i8x3r1feyzkt$.j85il7e3wpv9.dlg@40tude.net> <142zdljlf0w57.1xh4g0wxv88y8.dlg@40tude.net> <1clezdvkle213$.z5pl2xkhti8a$.dlg@40tude.net> <723a14f8-d648-4612-acca-833db6a337d5@googlegroups.com> <12de08w8nsrts.qn1blaxh6pe1.dlg@40tude.net> <0b2fd749-145d-46fd-9f4c-75812c1afd05@googlegroups.com> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: enOx0b+nfqkc2k+TNpOejg.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: 40tude_Dialog/2.0.15.1 X-Notice: Filtered by postfilter v. 0.8.2 Xref: news.eternal-september.org comp.lang.ada:25730 Date: 2015-05-04T16:47:21+02:00 List-Id: On Mon, 4 May 2015 06:45:19 -0700 (PDT), robin.vowels@gmail.com wrote: > On Monday, May 4, 2015 at 8:18:37 PM UTC+10, Dmitry A. Kazakov wrote: >> On Mon, 4 May 2015 01:53:08 -0700 (PDT), r.nospam@gmail.com wrote: >> >>> On Monday, May 4, 2015 at 5:21:28 PM UTC+10, Dmitry A. Kazakov wrote: >>>> On Sun, 3 May 2015 17:15:15 -0700 (PDT), r.nospam@gmail.com wrote: >>>> >>>>> On Friday, May 1, 2015 at 5:45:23 PM UTC+10, Dmitry A. Kazakov wrote: >>>> >>>>>> Actually REAL*16 is exactly portable. >>>>> >>>>> No it's not. >>>>> Some compilers treat that is an error. >>>> >>>> Portability applies to compilable programs only. You could not compile >>>> >>>> type X is mod 2**64; >>>> >>>> either. That does not make it non-portable, IMO. >>>> >>>> Portable means: The program exposes same [logically relevant] behavior on >>>> all platforms [of interest]. >>> >>> Portable means that a program that adheres to the language standard >>> is capable of running on any system where there is a compiler for that language. >> >> Consider a system without text output. According to you Ada's Hello World >> program is non-portable because such systems exist. > > I said no such thing. No which thing? Ada RTL without Ada.Text_IO? >> It is a useless definition. For practically any program it would be easy to >> present a platform for which it would not compile or work or would expose >> some undesired behavior. Which is why it is *not* all behavior, but only >> the relevant (contracted) one and not all platforms, but only the intended >> ones. There is no such thing as absolute unconditional portability, >> >>> There might be different limits for such things as maximum size of number on >>> different machines, but nevertheless the program is capable of running on >>> any particular system provided that it does not exceed such limits. >> >> 64 bit is just such a limit. > > So? Did you read what I wrote? > If a program is capable of running on a number of different systems > it is ipso facto portable. You said, I quote, "any system where there is a compiler for that language." So is it "any" or "a number" of systems? -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de