Re: A few questions

["Randy Brukardt" <randy@rrsoftware.com>]

"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.