$c+
module test11_8 {arrayCompare
 test of comparison of arrays and tuples}
private
 typedefinition integer range [1..2] one_two;
 integer array [one_two] a,b;
 typedefinition tuple [integer first, integer second {, procedure dummy() }] tuple;
 	{uncomment dummy after you add procedures }
 
  tuple x, y;  
  
 { procedure tuple@dummy
 	begin
 		skip;
 	end;
 }
 
begin

a[1] := 3;
b[1] := 3;
a[2] := 5;
b[2] := 6; 
 if a = b -> write 'yep';
 [] a # b -> write 'nope';
 fi;
 a := b; { or a[2] := b[2];}
 if a = b -> write 'yep';
 [] a # b -> write 'nope';
 fi;

x, y := [1, 2], [1, 3];
if x = y -> write 'yep';
[] x # y -> write 'nope';
fi;
x := y;
if x = y -> write 'yep';
[] x # y -> write 'nope';
fi;
end. {output nope yep nope yep}
