тык весь попс то и заключается в том, что в O7 (сабже) динамических массивов нет...
а это не важно, потому что в данном случае у них одинаковая проблема - отсутствие возможности проконтролировать размер во время компиляции, я специально упомянул динамические массивы, чтобы стало понятно, почему на этапе компиляции нет возможности контролировать длину ФОРМАЛЬНОГО параметра-открытого массива, но при этом динамические массивы спокойно передаются в качестве ФАКТИЧЕСКИХ параметров в процедуры с формальными параметрами в виде открытых массивов.
Ведь понятно, что формальные и фактические параметры это разные вещи.
И если формальные параметры это открытый массив, то при компиляции такой процедуры (которая(компиляция) происходит один раз) у типа формального параметра - открытого массива - длина не известна, а значит и нет совершенно никакой возможности проконтролировать соответствие длины массива на этапе компиляции, блин, это же очевидно, я не понимаю, о чём спор на несколько страниц 0 нет там такой информации.
Вызов же данной процедуры с ФАКТИЧЕСКИМИ параметрами, размер которых может быть известен (а может и не быть) на этапе компиляции, совершенно никак не меняет дело, потому что, по понятным причинам, вызов процедуры и её реализация компилируются раздельно, но даже если бы они как-то компилировались "совместно" это никак бы не изменило ситуацию, потому что формальный параметр открытый массив может принимать фактический параметр любого размера с совместимым типом элементов.%?*?%%%% что здесь может быть непонятного, какие разночнения могут быть