(* Test: Constructor expressions *)

MODULE Main;

TYPE 
  T = ARRAY [1..7] OF INTEGER;

VAR
  i: INTEGER;
  s: SET OF [0..244];

BEGIN

 i := ARRAY [1..10] OF INTEGER {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} [7];
 i := ARRAY [1..10] OF INTEGER {1, 2, 3, 4, ..} [7];

 i := ARRAY [1..10] OF T { T {1,..}, T{2,..}, T{3,..}, ..} [3] [4]; 

 s := SET OF [0..244] { 23, 45, 37, 40..55 };

END Main.