OberonCore
https://forum.oberoncore.ru/

"Несовп. типа" анон.массива в предв. объявл. с посл-м объявл
https://forum.oberoncore.ru/viewtopic.php?f=131&t=6183
Страница 1 из 1

Автор:  Евгений Темиргалеев [ Среда, 29 Ноябрь, 2017 17:03 ]
Заголовок сообщения:  "Несовп. типа" анон.массива в предв. объявл. с посл-м объявл

Тип анонимного массива в предварительном объявлении процедуры "не совпадает" с ним же в следующем объявлении.
Код:
MODULE Mod;
   PROCEDURE ^ Add (IN x: ARRAY 32 OF CHAR);
   PROCEDURE Add (IN x: ARRAY 32 OF CHAR);   (* X parameter does not match *)
   BEGIN
   END Add;
END Mod.

Автор:  Trurl [ Среда, 29 Ноябрь, 2017 17:20 ]
Заголовок сообщения:  Re: "Несовп. типа" анон.массива в предв. объявл. с посл-м об

Как-то обсуждали, кажется. Так же, как записей.

Автор:  Евгений Темиргалеев [ Среда, 29 Ноябрь, 2017 17:31 ]
Заголовок сообщения:  Re: "Несовп. типа" анон.массива в предв. объявл. с посл-м об

Кто вспомнит место, ссылку киньте сюда, пожалуйста.

Автор:  Иван Денисов [ Среда, 29 Ноябрь, 2017 17:39 ]
Заголовок сообщения:  Re: "Несовп. типа" анон.массива в предв. объявл. с посл-м об

Вроде так и должно быть согласно определению языка.
https://forum.blackboxframework.org/vie ... f=34&t=605
Надо заводить тип для таких случаев и его указывать в аргументах.

Автор:  Trurl [ Среда, 29 Ноябрь, 2017 19:23 ]
Заголовок сообщения:  Re: "Несовп. типа" анон.массива в предв. объявл. с посл-м об

А, нет, немного не то обсуждалось. Но все равно, такую процедуру нельзя вызвать.

Автор:  Oleg N. Cher [ Четверг, 30 Ноябрь, 2017 12:48 ]
Заголовок сообщения:  Re: "Несовп. типа" анон.массива в предв. объявл. с посл-м об

Иван Денисов писал(а):
Вроде так и должно быть согласно определению языка.
Иван, но ведь это не две разные процедуры, а одна + предварительное определение (форвард) её же.

Автор:  Евгений Темиргалеев [ Четверг, 30 Ноябрь, 2017 13:13 ]
Заголовок сообщения:  Re: "Несовп. типа" анон.массива в предв. объявл. с посл-м об

Иван Денисов писал(а):
Надо заводить тип для таких случаев и его указывать в аргументах.
Если не ошибаюсь, то в Обероне по-другому и нельзя. Тобишь так с параметрами извращаться. Но тут должен быть открытый массив. Описка -- последствия копипаста.

Автор:  Trurl [ Четверг, 30 Ноябрь, 2017 16:49 ]
Заголовок сообщения:  Re: "Несовп. типа" анон.массива в предв. объявл. с посл-м об

Oleg N. Cher писал(а):
Иван, но ведь это не две разные процедуры, а одна + предварительное определение (форвард) её же.

Цитата:
The formal parameter lists of the forward declaration and the actual declaration must match

а дальше смотрим matching formal parameter lists-> equal types -> same types.

Страница 1 из 1 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/