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,65b3f028266fd999
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nx01.iad01.newshosting.com!newshosting.com!novia!news-out.readnews.com!postnews3.readnews.com!not-for-mail
Date: Mon, 16 Aug 2010 07:29:13 -0400
From: "Peter C. Chapin" <chapinp@acm.org>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-US;
 rv:1.9.2.8) Gecko/20100802 Lightning/1.0b2 Thunderbird/3.1.2
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Question about ordinary fixed point types.
References: <4c685fac$0$2373$4d3efbfe@news.sover.net>
 <82aaomvn02.fsf@stephe-leake.org>
In-Reply-To: <82aaomvn02.fsf@stephe-leake.org>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Message-ID: <4c692129$0$2385$4d3efbfe@news.sover.net>
Organization: SoVerNet (sover.net)
NNTP-Posting-Host: 6f58482c.news.sover.net
X-Trace: 
 DXC=Cl@M<Xg]:YPXJ7[aj\e@ZSK6_LM2JZB_S76Z;?_EgR]\:WUUlR<856_4c?<Lmm>MLWk[>;9JBfm>^
X-Complaints-To: abuse@sover.net
Xref: g2news1.google.com comp.lang.ada:13399
Date: 2010-08-16T07:29:13-04:00
List-Id: <comp.lang.ada>

On 2010-08-16 07:02, Stephen Leake wrote:

>> type Angle_Type is delta 0.0005 range -3.1416 .. 3.1416;
>> Angle : Angle_Type;
> 
> Why do you not specify:
> 
> for Angle_Type'small use 0.0005;

I don't think I'm too concerned about the actual value of Small used. In
fact, I'd like to let the compiler choose so that it can optimize the
code better. Isn't it the case that using a power of two allows for more
efficient code generation for certain mathematical operations? I'm not
sure, but I seem to recall reading that somewhere. If that is true, then
I want that. My machine isn't very fast.

My original question wasn't about how to force the type to use a Small
that I want, rather it was about how can I be sure to visit every value
of the type in a loop for test purposes.

Peter