Re: Loop parameter type

["Jeffrey R. Carter" <spam.not.jrcarter@acm.not.spam.org>]

Maxim Reznik wrote:
> 
> Please help me understand Ada name resolution rules for
> loop parameter specification.
> 
> Consider follow code:
> 
>  1: procedure Test is
>  2:    type Int is range 0 .. 1000;
>  3:    C     : Integer := 0;
>  4:    C_Int : Int := 0;
>  5: begin
>  6:    for J in 1 .. 10 loop
>  7:       C := C + J;
>  8:    end loop;
>  9:   
> 10:    for K in 1 .. 10 loop
> 11:       C_Int := C_Int + K;
> 12:    end loop;
> 13: end Test;

When the subtype in a for loop is an explicit range, with the parent 
subtype not specified, and the values are universal integers (literals 
or named numbers), the parent type is Standard.Integer. See ARM 3.6. 
That's sort of an odd place for it to be defined, but that's the way it is.

You can specify the parent subtype in a for loop:

for I in Int range 1 .. 10 loop

-- 
Jeff Carter
"Don't knock masturbation. It's sex with someone I love."
Annie Hall
45