OberonCore

Да, простой язык, но периодически все равно что-то новое для себя открываешь...
Я, к примеру, не знал до настоящего момента, что в альтернативах WITH могут стоять разные имена переменных. Т.е. ищется не просто первое совпадение по типу для переменной, а первое соответствие среди заданных пар (переменная, тип).

А плчему именно "пар"? Определеяющим является тип, а уж имя переменной - вторично, по-моему...
ЗЫ Илья, а имеет ли смысл дублировать сообщения здесь и в Королевстве? Отвечать-то по идее то же в двух местах придётся... :о) Ленно, да и запутаться можно. Вдруг обсуждение по разным линиям пойдёт?

Я сказал "пар", потому что проверка идет строго последовательно, по вариантам. И в итоге выполняется первая ветка, в которой имеется корреляция между var и type: var IS type.

По поводу ветки - может и не стоит дублировать, но хочется как-то оживить ветку про языки на КД

Нет, кажется именно вы правы...
Хм... Действительно - несколько другой (то есть, совершенно другой! :о) ) угол зрения на конструкцию появился.
Спасибо! :о)

Не знаю, насколько ценна будет мысль, но - поделюсь... :о)
Данный аспект открывает интересную возможность построения "локально-централизованного" анализатора состояний каких-либо объектов обобщённо выражающееся через их текущий тип. Что-то родственное конструкции alt { ... } в Лимбо. Но там "прослушиваются" каналы, а здесь - обобщённо - объекты.

Вот и у меня ассоциации сразу в этом направлении пошли

Только выяснить бы, откуда идет эта семантика? С Оберона? Или это в КП добавили, или - вообще недокументированная особенность ББ...

Попробовать бы в других версиях, но я в Линуксе, кроме ББ там у меня ничего не живет

А так ли это важно?
Я думаю, интереснее взглянуть на БНФ описание этой части грамматики:

Statement =
...|
WITH [ Guard DO StatementSeq ]
{"|" [ Guard DO StatementSeq ] }
[ELSE StatementSeq] END
..

Интересно, правда? В смысле того, что , если убрать то, что в {}, то получим

WITH [ Guard DO StatementSeq ]
[ELSE StatementSeq] END

а теперь убираем "необязательное" в []

WITH END

но это - гарантированный эксэпшн, потому, что, по логике, не один из вариантов не подошёл, а ELSE - тоже нету... :о)
Мне интересно, это прокатывает на компиляции? (Я сегодня только вечером рц5 намереваюсь скачать...)


А где бы мне позаиметь для федоры вариант? :о)

Хе, Вы думаете у меня какой-то особенный ББ?
Рабочий - самый обычный 1.5.
Нужен Wine от 0.9.16, проставить шрифты - и.. И три месяца уже проблем не знаем!
Только еще в GNOME лучше работать, т.к. KDE слишком шустро какие-то сообщения от мышки на себя перехватывает, в результате ссылки могут не работать.

В XDS работает. Сообщению о языке тоже вроде не противоречит. Осталось только на Native проверить, если у кого установлен.

А в Oberon?2 синтаксис другой:
WithStatement = WITH Guard DO StatementSequence
{"|" Guard DO StatementSequence}
[ELSE StatementSequence] END.

МОжет опечатка якась? Я Это зрел в пособии инфо21 по ББ.