% 
% The "for" loop.  Another kind of loop construct.
%

%
% Rather than writing the following loop
%
var i: int := 0
loop
	exit when i = 10
	put i
	i := i + 1
end loop
put i

% an alternative program is

for i: 0..10
	put i
end for

% Notes:
%	* i does not need to be declared because
%	  Turing knows it must be an integer.
%	* a for loop is more compact than a regular
%	  loop, but it is not as general.