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/ |