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: border1.nntp.dca1.giganews.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!1.eu.feeder.erje.net!news2.arglkargh.de!news.mixmin.net!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 12:18:42 +0200 Organization: cbb software GmbH Message-ID: <12de08w8nsrts.qn1blaxh6pe1.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> 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: number.nntp.giganews.com comp.lang.ada:193030 Date: 2015-05-04T12:18:42+02:00 List-Id: On Mon, 4 May 2015 01:53:08 -0700 (PDT), robin.vowels@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. 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. >> A program that does not compile on a platform of interest is just an >> illegal program. It is neither portable or non-portable. We don't know yet. > > But in this case, we know that the program is not portable, > because it violates the standard. A program that violates the standard can still be portable and conversely. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de