OberonCore

Работал с подсистемой Coco/R. Обнаружил для себя весьма интересный факт (который для меня не был очевиден):

Модуль можно импортировать как без псевдонима + с любым числом псевдонимов. Самое главное чтобы идентификаторы на уровне модуля не дублировались.

Да, забавный факт. Не знал. Кажется, что может пригодиться. Спасибо.

Это не запрещено определением языка, однако, не рекомендую это дело применять на практике, т.к. при исправлении компилятора оно может уйти.

Не пытайтесь пользоваться недокументированными возможностями.

Нет, это дело не уйдет.
Тут все в порядке - идеология псевдонимов позволяет не только сократить псевдонимом имя модуля, но и наоборот - прозрачно перенаправить сервис на другой модуль. Никто не мешает перенаправить несколько сервисов на обслуживание одному модулю, если он поддерживает все интерфейсы...
(Ну, например: In := Inout, Out := Inout...)

Возможно.

В таком случае нужно это задокументировать.

Ага, и обмыть не забыть Чтоб не убрали в следующих версиях...