comp.lang.ada
 help / color / mirror / Atom feed
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Floating point problem
Date: 1997/03/31
Date: 1997-03-31T00:00:00+00:00	[thread overview]
Message-ID: <dewar.859869032@merv> (raw)
In-Reply-To: 1997Mar30.113716.1@eisner


Larry says

<<And if Ada is intended to be source-compatible between platforms,
why should a programmer need to know the Intel instruction set and
differences betwee chips.>>

That seems to be getting a little absurd to me. Larry, do you think the
compiler should be careful to generate code that detects that it is running
on an 8080 and aborts if so (it is definitely possible to write such
discriminating code, in fact you can find it in Intel manuals).

If you try to run a program for one architecture on a computer with a
different architecture, you should hardly be surprised if it does not
work. You cannot possibly derive from the intention that Ada be
source-compatible between platforms that a compiler for a specific
architecture (x86 with fpt support) must diagnose at runtime an attempt
to run on some other architecture (x86 without fpt??? 286??? 186??? ...)

All you can deduce is that if you have an Ada program that works on
architecture X and is written portably, then *if* you have a compiler
for architecture Y, and *if* you recompile for architecture Y, then
you can run on architecture Y.

Larry if you are really interested in running GNAT on an x86 with no
floating-point and an OS that does not support fpt, why not investigate
how to fix the problem, I doubt it is that hard. The reason we don't
spend any effort on this problem is that we don't really have an interest
in running GNAT on such platforms!





  reply	other threads:[~1997-03-31  0:00 UTC|newest]

Thread overview: 52+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1997-03-27  0:00 Floating point problem Kees de Lezenne Coulande
1997-03-28  0:00 ` Robert Dewar
1997-03-28  0:00   ` Larry Kilgallen
1997-03-28  0:00     ` Robert Dewar
1997-03-29  0:00       ` Tom Moran
1997-03-30  0:00         ` Larry Kilgallen
1997-03-31  0:00           ` Robert Dewar [this message]
1997-04-01  0:00             ` Larry Kilgallen
1997-04-01  0:00               ` Tom Moran
1997-04-02  0:00                 ` Larry Kilgallen
1997-04-02  0:00                   ` Robert Dewar
1997-04-03  0:00                     ` Jerry van Dijk
1997-04-03  0:00                       ` Jerry van Dijk
1997-04-03  0:00                         ` Jerry van Dijk
1997-04-02  0:00               ` Robert Dewar
1997-03-31  0:00         ` Robert Dewar
1997-03-31  0:00           ` Tom Moran
1997-03-31  0:00             ` Robert Dewar
1997-03-28  0:00     ` Tom Moran
1997-03-28  0:00 ` J-P. Rosen
1997-03-28  0:00   ` Robert Dewar
  -- strict thread matches above, loose matches on Subject: below --
1997-02-26  0:00 floating " bill
1997-03-02  0:00 ` Corbin Dunn
1997-03-02  0:00   ` tmel
1997-03-02  0:00     ` Robert Dewar
1997-03-03  0:00 ` Kenneth W. Sodemann
1997-03-04  0:00   ` Robert Dewar
1997-03-05  0:00     ` Larry Kilgallen
1997-03-05  0:00       ` Robert Dewar
1997-03-06  0:00         ` Larry Kilgallen
1997-03-09  0:00           ` Robert Dewar
1997-03-10  0:00             ` Fergus Henderson
1997-03-10  0:00               ` Robert Dewar
1997-03-10  0:00                 ` Larry Kilgallen
1997-03-12  0:00                   ` Robert Dewar
1997-03-12  0:00                     ` Joel VanLaven
1997-03-12  0:00                       ` Robert Dewar
1997-03-12  0:00                     ` Larry Kilgallen
1997-03-13  0:00                       ` Robert Dewar
1997-03-14  0:00                         ` Larry Kilgallen
1997-03-15  0:00                           ` Robert Dewar
1997-03-13  0:00                     ` Kenneth W. Sodemann
1997-03-15  0:00                       ` Robert Dewar
1997-03-16  0:00                         ` Larry Kilgallen
1997-03-06  0:00     ` Geert Bosch
1997-03-06  0:00       ` Fergus Henderson
1997-03-06  0:00         ` Scott Ingram
1997-03-06  0:00       ` Robert Dewar
1997-03-17  0:00   ` Robert I. Eachus
1997-03-17  0:00     ` Robert Dewar
1997-03-17  0:00   ` Tom Moran
1997-03-18  0:00   ` Robert I. Eachus
replies disabled

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