comp.lang.ada
 help / color / mirror / Atom feed
From: dewar@gnat.com (Robert Dewar)
Subject: Re: 64-bit integers in Ada
Date: 3 Aug 2002 05:24:22 -0700
Date: 2002-08-03T12:24:22+00:00	[thread overview]
Message-ID: <5ee5b646.0208030424.39703482@posting.google.com> (raw)
In-Reply-To: aie0vt$p6g$1@nh.pace.co.uk

"Marin David Condic" 

> so having the requirement is not a
> bad thing. 

Here is why I think it *is* a bad requirement.

No implementation would possibly make Integer less than
16 bits. None ever has, and none ever would. Remember that
the only really critical role of integer is as an index
in the standard type String (it was a mistake to have string tied in
this way, but it's too late to fix this)

No one would make integer 8 bits and have strings limited
to 127 characters. 

If you are worried about implementors making deliberately
useless compilers, that's a silly worry, since there are
lots of ways of doing that (e.g. declaring that any
expression with more than one operator exceeds the capacity
of the compiler).

So why is the requirement harmful? Because it implies that
it is reasonable to limit integers to 16 bits, but in fact
any implementation on a modern architecture that chose 16 bits for
integer would be badly broken.

As for implementations for 8-bit micros, I would still make
Integer 32 bits on such a target. A choice of 16-bit integer (as for
example Alsys did on early on) would cause
giant problems in porting code. On the other hand, a choice
of 32-bit integers would make strings take a bit more room. I would
still choose 32-bits.

Anyway, I see no reason for the standard to essentially encourage
inappropriate choices for integer types by adding a requirement that
has no practical significance whatever.

This is an old old discussion. As is so often the case on
CLA, newcomers like to repeat old discussions :-)

This particular one can probably be tracked down from the
design discussions for Ada 9X.



  reply	other threads:[~2002-08-03 12:24 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
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 [this message]
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