comp.lang.ada
 help / color / mirror / Atom feed
From: "Marius Amado Alves" <amado.alves@netcabo.pt>
To: <comp.lang.ada@ada-france.org>
Subject: Re: different compilers: different standard types?????
Date: Fri, 19 Mar 2004 00:07:00 -0800
Date: 2004-03-19T00:07:00-08:00	[thread overview]
Message-ID: <mailman.110.1079654853.327.comp.lang.ada@ada-france.org> (raw)
In-Reply-To: 200403182035.57424.baldrick@free.fr

> I guess you mean "why doesn't GNAT define Integer to have 64 bits"?
> I've heard it said that GNAT (in fact gcc) defines Integer to be the most
> efficient integer type for the processor....

Yes. I was temporarily amnesic of the fact that the proper way to define an
integer of any size is

  type IT is range ...

I was fixated on forms

  subtype ST is Long_Integer range ...
  type T is new Long_Integer range ...

(I posted this before but seemingly it didn't reach the list.)

Anyway, I now understand that the proper way to define an integer type with
the maximum range possible is

  type MI is range System.Min_Int .. System.Max_Int;

/* My natural expectation of Integer was that it would be this type. To a
layman, 3.5.4 (11) seems to support that. But I guess no. I think Ada is too
much complicated here. As in other places. Too many integers (root,
universal, etc.) And so little time. */




  parent reply	other threads:[~2004-03-19  8:07 UTC|newest]

Thread overview: 24+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-03-17  8:15 different compilers: different standard types????? Riccardo
2004-03-17 17:10 ` Martin Krischik
2004-03-18  3:47 ` Steve
2004-03-18 10:37   ` Jean-Pierre Rosen
2004-03-18 13:09     ` Dmitry A. Kazakov
2004-03-18 13:13   ` Marius Amado Alves
2004-03-18 14:21     ` Ludovic Brenta
2004-03-18 14:45     ` Georg Bauhaus
2004-03-18 17:33       ` Marius Amado Alves
2004-03-18 17:42       ` Martin Krischik
2004-03-19  0:16     ` Jeffrey Carter
     [not found]   ` <200403181313.16003.maa@liacc.up.pt>
2004-03-18 19:35     ` Duncan Sands
2004-03-19  1:08     ` Stephen Leake
     [not found]     ` <200403182035.57424.baldrick@free.fr>
2004-03-19  8:07       ` Marius Amado Alves [this message]
2004-03-19  3:29         ` Steve
2004-03-19 15:36           ` Marius Amado Alves
     [not found]           ` <00a401c40dc7$f2b333e0$c32416d5@netcabo.pt>
2004-03-19 16:03             ` Marius Amado Alves
     [not found]     ` <u7jxhprro.fsf@acm.org>
     [not found]       ` <005f01c40dbf$94ce9e20$c32416d5@netcabo.pt>
2004-03-19 13:19         ` Stephen Leake
2004-03-19 14:36       ` Marius Amado Alves
2004-03-19 10:16         ` Jean-Pierre Rosen
2004-03-20  0:52         ` Jeffrey Carter
2004-03-20 22:56           ` Marius Amado Alves
  -- strict thread matches above, loose matches on Subject: below --
2004-03-19  7:33 Riccardo
2004-03-19 13:10 ` Martin Dowie
replies disabled

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