comp.lang.ada
 help / color / mirror / Atom feed
From: kilgallen@eisner.decus.org (Larry Kilgallen)
Subject: Re: Floating point problem
Date: 1997/03/30
Date: 1997-03-30T00:00:00+00:00	[thread overview]
Message-ID: <1997Mar30.113716.1@eisner> (raw)
In-Reply-To: 333E18D8.1F84@bix.com


In article <333E18D8.1F84@bix.com>, Tom Moran <tmoran@bix.com> writes:

> But, knowing that FPU detection code can be found in Intel docs, is it
> possible for a user program to run that code early enough (ie before the
> RTS or elaboration code has crashed and burned) to give a nice error
> message to the user?

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.  Power-PC and Alpha computers also have
certain instructions which available on some chip models but not
others. Since compiler developers by definition must deal with
such instruction set issues, the Ada implementation would seem
to be the most efficient place for such efforts to be expended.

That does not solve the issue of finding funding for compiler
developers to add such support.  But if Ada is to become more
widely used ultimately the cost of even saying RTFM in response
to trouble calls will drive detecting runtime failures in a
helpful fashion.  This sort of attitude has already been used
for compile-time as no compiler developer has thought it enough
to give a minimal (RM-allowed ?) level of compilation diagnostics
by delivering only a single "not a good Ada program" message
in response to a compilation attempt.

Larry Kilgallen





  reply	other threads:[~1997-03-30  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 ` J-P. Rosen
1997-03-28  0:00   ` Robert Dewar
1997-03-28  0:00 ` Robert Dewar
1997-03-28  0:00   ` Larry Kilgallen
1997-03-28  0:00     ` Tom Moran
1997-03-28  0:00     ` Robert Dewar
1997-03-29  0:00       ` Tom Moran
1997-03-30  0:00         ` Larry Kilgallen [this message]
1997-03-31  0:00           ` Robert Dewar
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
  -- 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                     ` 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-12  0:00                     ` Joel VanLaven
1997-03-12  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