1 2 3 4 5 6 7 8 9 10
/* error : different array types */ let type arrtype1 = array of int type arrtype2 = array of int var arr1 : arrtype1 := arrtype2 [10] of 0 in arr1 end