Jean-Pierre Rosen wrote:
> That's better, but still not equivalent if the computations of Left and Right are function calls with side-effects (they are
> computed more than once). Have another try!

I see the possibility. Thank you.

 # I must latch the results of Left and Right because the iteration
 # condition should be evaluated only once when for-loop.

My topic here is, however, to know what Ada programmers and language
lawyers would think "For-Loop Iteration for Real Type" for AdaXX.

Could you comment on that ?

   Toshitaka KUMANO <[log in to unmask]>