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,583275b6950bf4e6 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-05-25 08:38:41 PST From: "Tarjei T. Jensen" Newsgroups: comp.lang.ada References: Subject: Re: Quality systems (Was: Using Ada for device drivers? (Was: theAdamandate, and why it collapsed and died)) MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2800.1106 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106 X-Original-NNTP-Posting-Host: pc1.akermar.com Message-ID: <3ed0e36e$1@news.wineasy.se> X-Original-Trace: 25 May 2003 16:38:22 +0100, pc1.akermar.com X-Complaints-To: abuse@songnetworks.se NNTP-Posting-Host: news.wineasy.se X-Original-NNTP-Posting-Host: news.wineasy.se Date: 25 May 2003 16:38:23 +0100 X-Trace: wineasy!newsfeed.wineasy.se!news.sto.telegate.se 1053877103 news.wineasy.se (25 May 2003 16:38:23 +0100) X-Complaints-To: abuse@songnetworks.se Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!cyclone.bc.net!sjc70.webusenet.com!rip!news.webusenet.com!news.stupi.se!news.stupi.se!wineasy!newsfeed.wineasy.se!news.sto.telegate.se!news.wineasy.se!not-for-mail Xref: archiver1.google.com comp.lang.ada:37761 Date: 2003-05-25T16:38:23+01:00 List-Id: Randy Brukardt wrote: >My personal opinion is that wrap-around semantics for unsigned types is >a mistake. Ada is about safety, and there is no safety in 2+2=1. I >thought and still think that we should have added unsigned integer types >with overflow, and then had a special package with wrap-around types of >the full sizes for those rare cases where you need such functionality. The problem is that there seemed to have been an misunderstanding in parts of the Ada community with regards to certain _t types (e.g. size_t) in Unix/C. They seem to have been unaware that these types were unsigned in order to get a larger range and not because unsigned types wraps. greetings,