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,FREEMAIL_FROM
	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-19 07:07:39 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!cyclone.bc.net!news.maxwell.syr.edu!out.nntp.be!propagator2-sterling!in.nntp.be!news-out.visi.com!petbe.visi.com!uunet!ash.uu.net!spool0902.news.uu.net!not-for-mail
Date: Mon, 19 May 2003 10:07:36 -0400
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US;
 rv:1.4b) Gecko/20030506
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Quality systems (Was: Using Ada for device drivers? (Was: the
 Ada mandate, and why it collapsed and died))
References: <9fa75d42.0305130543.60381450@posting.google.com>
 <254c16a.0305140549.3a87281b@posting.google.com>
 <9fa75d42.0305141747.5680c577@posting.google.com>
 <3ec4b1c9$1@news.wineasy.se> <AFdxa.3805$3t6.46222@news.xtra.co.nz>
 <9fa75d42.0305161748.1735fc32@posting.google.com>
 <Ygixa.86459$cO3.5860233@bgtnsc04-news.ops.worldnet.att.net>
 <URWxa.143$Ov2.92@nwrddc04.gnilink.net>
 <ba9toc$qorbc$2@ID-175126.news.dfncis.de>
 <4W%xa.28765$cK5.11964@nwrdny02.gnilink.net>
 <baa486$qgclv$1@ID-175126.news.dfncis.de>
In-Reply-To: <baa486$qgclv$1@ID-175126.news.dfncis.de>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Organization: KBC Financial Products
Message-ID: <1053353256.804734@master.nyc.kbcfp.com>
Cache-Post-Path: master.nyc.kbcfp.com!unknown@nightcrawler.nyc.kbcfp.com
X-Cache: nntpcache 3.0.1 (see http://www.nntpcache.org/)
NNTP-Posting-Host: 204.253.250.10
X-Trace: 1053353257  26541 204.253.250.10
Xref: archiver1.google.com comp.lang.ada:37512
Date: 2003-05-19T10:07:36-04:00
List-Id: <comp.lang.ada>

Vinzent Hoefler wrote:
 > (and that sometimes might be not that easy as it looks at the first glance).

That's because the Ada folks got clever and decided that the
modulus didn't need to be a poer of two. Doesn't Dewar rant
on this subject occasionally?

> I doubt that. C just got modular types because it was convinient and
> natively supported by the machine.

That doesn't mean that Ada didn't copy the notion from C.

> No. In C you only get the overflow checks (for signed types) if the
> machine itself supports it.

That's silly. You get whatever the compiler gives you. If someone
wanted to implement overflow checking, that would be perfectly
legitimate, regardless of hardware.