"The type of each formal parameter is specified in the parameter list. For variable parameters, it
must be identical to the corresponding actual parameter's type, except in the case of a record,
where it must be a base type of the corresponding actual parameter's type."
Итого, вопрос в том, какой тип у строкового литерала :-) Я предполагаю, что у него спец. тип, который умеет неявно приводиться (да! неявное приведение типов в Обероне!) к чару либо массиву этих самых чаров. Следовательно, вероятно возможно вот такое:
PROCEDURE A(c : CHAR);
PROCEDURE B(a : ARRAY OF CHAR);
...
A("h");
B("h");
С expression'ами вроде понятно - строковый литерал может быть операндом в выражении. Следовательно как VAL-параметр строковый литерал может быть.
Вопрос остаетася может ли строковый литерал быть VAR-параметром? И если нет, то на каком основании. А если да - то что будет если его попробуют поменять?