This compatibility requirement seems to imply that the control variable need not be an integer type.  Does this mean that

 

    Var  letter: char;

 

    for  letter := 'A' to 'Z'  do

 

is legitimate, or that the definers of the language expected that might eventually be allowed?