Да, присваивание массивов в Обероне-07 разрешено.
Операция arr2 := arr1
разрешена.
См. сообщение о языке Оберон-07 (перевод на русский), раздел 9.1. Присваивания:
Тип выражения должен быть таким же, как у обозначений. Имеют место следующие исключения:
- Константу NIL можно присвоить переменным любого типа указателя или процедуры.
- Строки могут быть присвоены любому массиву символов, если количество символов в строке меньше, чем количество символов в массиве. (Добавляется нулевой символ). Односимвольные строки также могут быть присвоены переменным типа CHAR.
- В случае записей тип источника должен быть расширением типа адресата.
- Открытый массив может быть присвоен массиву равного базового типа.
Возможно, Вас ввело в заблуждение предложение, написанное перед указанным фрагментом:
Если значение параметра структурировано (имеет тип массив или запись), никакого присваивания ему или его элементам не допускаются. Для импортированных переменных также не допускаются присваивания.
Здесь говорится не об обычных переменных, а именно о параметрах. В Обероне-07 все параметры-массивы и параметры-записи передаются по ссылке в режиме «только для чтения». Если же при объявлении процедуры перед параметром указать слово VAR, то этот параметр будет передаваться с возможностью изменения (но также по ссылке).