Re: Static bounds of loop - compilation error

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Tue, 30 Oct 2012 18:03:38 +0100, Yannick Duchêne (Hibou57)  
<yannick_duchene@yahoo.fr> a écrit:
> Note that you can also declare the type at the iteration variable too, a  
> good practice, which is even mandatory with SPARK. Unfortunately, doing  
> this, ends in a GNAT bug‑box:
>
>      procedure T is
>         type E is (A, B, C);
>         subtype S is E range A .. B;
>         X, Y : S;
>      begin
>         X := A;
>         Y := B;
>         for I : S in X .. Y loop
>            case I is
>               when A => null;
>               when B => null;
>            end case;
>         end loop;
>      end T;

Oops, sorry, I'm buggy. That's erroneous, the syntax is not good. I don't  
know why GNAT gives a bug box instead. That's only `for I in S range X ..  
Y loop` as in the original message.


-- 
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University