From: "Jean-Pierre Rosen" <rosen@adalog.fr>
Subject: Re: ARG Urgent Problems (was: labeling)
Date: Tue, 19 Mar 2002 13:21:12 +0100
Date: 2002-03-19T13:21:12+01:00 [thread overview]
Message-ID: <a77afn$4ov$1@s1.read.news.oleane.net> (raw)
In-Reply-To: a7700l$84f4@news.kvaerner.com
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 844 bytes --]
"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.
--
---------------------------------------------------------
J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr
next prev parent reply other threads:[~2002-03-19 12:21 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-03-15 8:20 labeling (was: partitioning (was: Future)) Christoph Grein
2002-03-15 11:59 ` ARG Urgent Problems (was: labeling) Larry Kilgallen
2002-03-17 12:59 ` Tarjei T. Jensen
2002-03-17 13:11 ` Nick Williams
2002-03-19 9:22 ` Tarjei T. Jensen
2002-03-19 12:21 ` Jean-Pierre Rosen [this message]
2002-03-19 14:38 ` Tarjei T. Jensen
-- strict thread matches above, loose matches on Subject: below --
2002-03-19 13:36 Christoph Grein
2002-03-20 12:19 ` Jean-Pierre Rosen
2002-03-20 14:07 Christoph Grein
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox