comp.lang.ada
 help / color / mirror / Atom feed
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: 64-bit integers in Ada
Date: Wed, 31 Jul 2002 13:20:55 GMT
Date: 2002-07-31T13:20:55+00:00	[thread overview]
Message-ID: <wcc65ywhw3s.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: yeceldkpm34.fsf@king.cts.com

Keith Thompson <kst@cts.com> writes:

> dewar@gnat.com (Robert Dewar) writes:
> > Richard Riehle <richard@adaworks.com> wrote in message
> > news:<3D46DC69.7C291297@adaworks.com>...
> > > Robert,
> > > 
> > > We still have quite a few embedded platforms for which 64 bit
> > > integers are not supported. 
> > 
> > There is no reason for hardware support here, even the ia32
> > does not have hardware support, but 64-bit integers are
> > very useful and must be supported, just as floating-point
> > MUST be supported even on processors with no floating-point.
> 
> For certain values of "must".  I'm fairly sure that the Ada standard
> does not require support for 64-bit integers, ...

Yes, and I'm pretty sure Robert is well aware of that.

Actually, Ada requires 16 bit integers (at minimum).
Robert has argued in the past that this is silly -- too small to be of
use, and better to let the market decide.  Probably true.

>... and I've worked with Ada
> implementations that didn't support anything bigger than 32 bits
> (System.Max_Int = 2**31-1).

I don't know of any Ada implementation that only supports 16 bits,
and only one that doesn't support at least 32 (it supports 24 bits).

> If you want to argue that such an implementation is broken (even
> though it's conforming), I won't disagree.

But why 64?  Why shouldn't we say 128?  Or 1000?

After all, Lisp implementations have been supporting more than that
for decades.

- Bob



  parent reply	other threads:[~2002-07-31 13:20 UTC|newest]

Thread overview: 41+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-05-16 11:27 64-bit integers in Ada David Rasmussen
2002-05-17  2:28 ` Robert Dewar
2002-05-17 13:56 ` Mark Johnson
2002-07-29 15:33 ` Victor Giddings
2002-07-29 20:15   ` Robert A Duff
2002-07-30 18:35     ` Richard Riehle
2002-07-30 20:20       ` Robert A Duff
2002-07-31  0:13       ` Robert Dewar
2002-07-31  4:17         ` Keith Thompson
2002-07-31  8:41           ` Larry Kilgallen
2002-07-31 13:20           ` Robert A Duff [this message]
2002-07-31 13:42             ` Marin David Condic
2002-08-01  7:54               ` Lutz Donnerhacke
2002-08-01 13:07                 ` Marin David Condic
2002-08-02  7:31                   ` Lutz Donnerhacke
2002-08-02 13:21                     ` Marin David Condic
2002-08-03 12:24                       ` Robert Dewar
2002-08-03 18:59                         ` Richard Riehle
2002-08-04  6:12                           ` Chad R. Meiners
2002-08-04 14:07                           ` Robert Dewar
2002-08-05  2:28                             ` Richard Riehle
2002-08-11 15:32                               ` Simon Wright
2002-08-13 21:14                             ` Randy Brukardt
2002-08-04 18:00                           ` Larry Kilgallen
     [not found]                           ` <5ee5b646.0208040607.ebb6909@posting.googOrganization: LJK Software <PG2KS5+doDWm@eisner.encompasserve.org>
2002-08-05  1:44                             ` Robert Dewar
2002-08-05  1:48                             ` Robert Dewar
2002-08-05 11:40                               ` Marc A. Criley
2002-08-05 14:40                                 ` Pat Rogers
2002-08-05  2:34                             ` Richard Riehle
2002-08-11 21:56                           ` Robert A Duff
2002-08-13 21:09                         ` Randy Brukardt
2002-08-18  1:01                           ` AG
2002-08-20  0:15                             ` Robert Dewar
2002-08-02  8:37                   ` Fraser Wilson
2002-08-02 12:54                   ` Frank J. Lhota
2002-08-01 11:57               ` Larry Kilgallen
2002-08-01 17:53               ` Ben Brosgol
2002-08-01 20:32               ` Keith Thompson
2002-07-31 21:50             ` Keith Thompson
2002-07-31 21:59               ` Robert A Duff
2002-07-30  4:29   ` Robert Dewar
replies disabled

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