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-Thread: 103376,2a34b7ad6c6a0774
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news1.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!news.swapon.de!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: "J-P. Rosen" <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Re: Efficiency of code generated by Ada compilers
Date: Mon, 09 Aug 2010 07:52:11 +0200
Organization: Adalog
Message-ID: <i3o52d$p0i$1@news.eternal-september.org>
References: <f3c0cf89-6993-4b83-b4fe-8a920ce23a14@f6g2000yqa.googlegroups.com>
 <f208e17c-0511-4397-a13a-39a3da6eef5e@q22g2000yqm.googlegroups.com>
 <wccr5i985py.fsf@shell01.TheWorld.com>
 <1jmwhfp.roo31ybayx2bN%csampson@inetworld.net>
 <wcchbj4j09y.fsf@shell01.TheWorld.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 9 Aug 2010 05:52:14 +0000 (UTC)
Injection-Info: mx03.eternal-september.org;
 posting-host="Hr/ndBr4hKzxglWQZBqnBQ";
	logging-data="25618"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+n+k6QlSDq3huxIhnmdu2e"
User-Agent: Thunderbird 2.0.0.24 (Windows/20100228)
In-Reply-To: <wcchbj4j09y.fsf@shell01.TheWorld.com>
Cancel-Lock: sha1:kdQ11KimNtrv7MD39dBMx3YXAuo=
Xref: g2news1.google.com comp.lang.ada:12975
Date: 2010-08-09T07:52:11+02:00
List-Id: <comp.lang.ada>

Robert A Duff a �crit :
> P.S. Can anybody recall the definition of "not" on modular
> types, when the modulus is not a power of 2, without
> looking it up? 
Sure. Like any other operation. First you do the operation in the
mathematical sense, then you take the mathematical result mod T'Modulus.

> Hint: It makes no sense.  
It makes sense because it is consistent with all other operations on
modular types. Whether it is usefule is another story ;-)

> The only feature
> that's worse than "modular types" is "modular types with a
> non-power-of-2 modulus".  ;-)
Hmmm... Hash coded tables?

-- 
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr