From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,92c39a3be0a7f17d X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-03-19 01:34:00 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!colt.net!newsfeed.esat.net!lnewspeer01.lnd.ops.eu.uu.net!emea.uu.net!news.kvaerner.com!news@kvaerner.com From: "Tarjei T. Jensen" Newsgroups: comp.lang.ada Subject: Re: ARG Urgent Problems (was: labeling) Date: Tue, 19 Mar 2002 10:22:19 +0100 Organization: KOGAS Message-ID: References: <1016370675.163940@ananke.eclipse.net.uk> NNTP-Posting-Host: 155.209.159.73 Mime-Version: 1.0 Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2600.0000 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000 Xref: archiver1.google.com comp.lang.ada:21448 Date: 2002-03-19T10:22:19+01:00 List-Id: "Nick Williams" wrote in message news:1016370675.163940@ananke.eclipse.net.uk... > What exactly do you mean by 'unsigned integers and not just the positive > part of integers'? Unsigned in Ada (Natural) is from 0 to integer'last which is the same as system.max_int; > If you want to model unsigned integers the same way that C models them, then > use modular types, surely? I just said that this is not what I want. I want a real unsigned with rangechecking and the lot - and not the abominable modular type workaround. It really should be possible to map the C type size_t to an ada unsigned type without having to botch the job by using a modular type. 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. That logic beats me. greetings,