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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!reality.xs3.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: A few questions
Date: Thu, 12 Nov 2015 12:29:50 -0600
Organization: JSA Research & Innovation
Message-ID: <n22lqv$4ll$1@loke.gir.dk>
References: 
 <f487cd6f-f4f0-437e-9077-0495d17156f3@googlegroups.com><ly611kmh1g.fsf@pushface.org>
 <n19kt6$h09$1@loke.gir.dk><lysi4nlbwe.fsf@pushface.org>
 <lybnb9lote.fsf@pushface.org><n1eatb$8r4$1@loke.gir.dk>
 <ly7flwltra.fsf@pushface.org> <lyziyskeu2.fsf@pushface.org>
NNTP-Posting-Host: rrsoftware.com
X-Trace: loke.gir.dk 1447352991 4789 24.196.82.226 (12 Nov 2015 18:29:51 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Thu, 12 Nov 2015 18:29:51 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Xref: news.eternal-september.org comp.lang.ada:28325
Date: 2015-11-12T12:29:50-06:00
List-Id: <comp.lang.ada>

"Simon Wright" <simon@pushface.org> wrote in message 
news:lyziyskeu2.fsf@pushface.org...
> Simon Wright <simon@pushface.org> writes:
>
>> "Randy Brukardt" <randy@rrsoftware.com> writes:
>>
>>> Prime_Number_Set is (directly) an iterator, so you use "in" to iterate
>>> over it:
>>>
>>>  for P in F552A00_Prime_Numbers.Prime_Number_Set'(Max_Value => 31) loop
>>>
>>> The "of" form is for iterating over an array or a container whose type
>>> has the Default_Iterator aspect (which gives the iterator to use).
>>>
>>> I can hear the head slap from here. ;-)
>>
>> Yes, but;
>>
>>      1. with Ada.Text_IO;
>>      2. with F552A00_Prime_Numbers;
>>      3. procedure Primes is
>>      4. begin
>>      5.    for P in F552A00_Prime_Numbers.Prime_Number_Set'(Max_Value => 
>> 31) loop
>>                                                           |
>>         >>> expected a discrete type
>>         >>> found type "Prime_Number_Set" defined at
>>         >>> f552a00_prime_numbers.ads:74
>>
>>      6.       Ada.Text_IO.Put_Line (P'Img);
>>      7.    end loop;
>>      8. end Primes;
>>
>> Perhaps this is the GNAT problem you spoke of? (FSF GCC 5.1.0, GNAT GPL 
>> 2015)
>
> Oh, it should have been
>
>   for P in F552A00_Prime_Numbers.Prime_Number_Set'(Max_Value => 
> 31).Iterate
>      loop

Right. You got two head slaps for the price of one. :-)

                     Randy.