comp.lang.ada
 help / color / mirror / Atom feed
From: robin.vowels@gmail.com
Subject: Re: getting same output as gfortran, long_float
Date: Mon, 4 May 2015 06:45:19 -0700 (PDT)
Date: 2015-05-04T06:45:19-07:00	[thread overview]
Message-ID: <0b2fd749-145d-46fd-9f4c-75812c1afd05@googlegroups.com> (raw)
In-Reply-To: <12de08w8nsrts.qn1blaxh6pe1.dlg@40tude.net>

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.  You're talking nonsense.

> 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.

> >> 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.

You're talking rubbish.

  reply	other threads:[~2015-05-04 13:45 UTC|newest]

Thread overview: 35+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-04-30 21:17 getting same output as gfortran, long_float Nasser M. Abbasi
2015-04-30 22:08 ` Dmitry A. Kazakov
2015-04-30 22:11   ` Dmitry A. Kazakov
2015-04-30 22:37   ` Nasser M. Abbasi
2015-04-30 22:53     ` Nasser M. Abbasi
2015-05-01  7:22       ` Jacob Sparre Andersen
2015-05-01  1:12   ` Nasser M. Abbasi
2015-05-01  6:52     ` Dmitry A. Kazakov
2015-05-01  7:32       ` Nasser M. Abbasi
2015-05-01  7:45         ` Dmitry A. Kazakov
2015-05-04  0:15           ` robin.vowels
2015-05-04  7:21             ` Dmitry A. Kazakov
2015-05-04  8:53               ` robin.vowels
2015-05-04 10:18                 ` Dmitry A. Kazakov
2015-05-04 13:45                   ` robin.vowels [this message]
2015-05-04 14:47                     ` Dmitry A. Kazakov
2015-05-07  2:01                       ` robin.vowels
2015-05-01 23:24       ` Dennis Lee Bieber
2015-05-04  0:09       ` robin.vowels
2015-05-01  7:01     ` Dmitry A. Kazakov
2015-05-04  0:42     ` robin.vowels
2015-04-30 22:12 ` Jeffrey R. Carter
2015-04-30 22:27   ` Qun-Ying
2015-05-01  0:59     ` Dennis Lee Bieber
2015-04-30 22:32   ` Nasser M. Abbasi
2015-05-01  1:16     ` Jeffrey R. Carter
2015-05-01  1:40       ` Nasser M. Abbasi
2015-05-01  7:47         ` Jacob Sparre Andersen
2015-05-01 15:39         ` Waldek Hebisch
2015-05-01 17:27           ` Nasser M. Abbasi
2015-05-01 18:03             ` Nasser M. Abbasi
2015-05-04  0:51             ` robin.vowels
2015-05-04  0:47         ` robin.vowels
2015-05-01  8:21 ` Simon Wright
2015-05-01 11:55 ` Georg Bauhaus
replies disabled

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