Совместимость массивов

Фактический параметр a типа Ta является совместимым массивом для формального параметра f типа Tf если

Tf и Ta - одинаковые типы или

Tf - открытый массив, Ta - любой массив, а типы их элементов - совместимые массивы или

f - параметр-значение типа ARRAY OF CHAR, а фактический параметр a - строка.