Re: Curiosity about rage checking

[Adam Beneschan <adam@irvine.com>]

On Feb 7, 12:17 am, "framefri...@gmail.com" <framefri...@gmail.com>
wrote:
> Dear *,
> this morning, while I was shaving myself, a curiosity about array
> access checking in Ada came to my mind...
>
> Consider the following piece of code
>
> for I in A..B loop                                         --
> <--------------------+
>     Put_Line("Assigning entry for I=" & Integer'Image(I));
> --                        |
>
> --                        |
>     X(I) := 0;    --  <== Access checking for this assignement could
> be moved  here--+
> end loop
>
> As explained in the fancy comment (I hope you are seeing it with a
> fixed-size font :-)

I am, but it doesn't help; I use Google Groups to read Usenet, and it
is wrapping at an inconvenient place.  Your example is just too wide---
sorry.  I guess that's what happens when you try to post a question
and shave at the same time.  (On the other hand, if you're having
problems with "rage checking", I really should be very careful about
what I say to you :) :) :) :) :)

                           -- Adam