Re: ARG Urgent Problems (was: labeling)

[Christoph Grein <christoph.grein@eurocopter.com>]

From: Jean-Pierre Rosen <rosen@adalog.fr>
> "Tarjei T. Jensen" <tarjei.jensen@kvaerner.com> a écrit dans le message news: 
a7700l$84f4@news.kvaerner.com...
> > C allows both integers and unsigned to wrap, but somehow those who decides
> > these things think that therefore Ada unsigned above integer'last must wrap
> > as well.
> >
> Maybe it's just that you missed an important feature of Ada: don't use 
predefined types, specify your needs, then declare the
> appropriate types. You want a 32 bits integer without wrapping semantics? 
Fine, just declare:
> 
> type My_Int is range 0..2**32-1;
> 
> Your point is that there is no *predefined* type for this; in other languages 
you must rely on predefined types because it is all
> you have - not in Ada.

The only problem being that your compiler might reject to compile this because 
it cannot fulfil the request. My_Int'Base will necessarily be a _signed_integer_ 
at least big enough to hold the specified range, will thus need at least 33 
bits, most probably a 64 bit 
type.