Re: A few questions

[Simon Wright <simon@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