Kemet, но чисто для Вас я поменял местами XCHG и SHRD.

Instead of what is now in Display.Mod, this should have been my favorite, as it is short and doesn’t need SYSTEM.VAL().

mask := -LSL({0..31}, x);

The following code is even shorter source code but 100% equivalent to the above:

mask := -LSL(-{}, x);

Compare this to my first "mask := SYSTEM.VAL(SET, ASR(7FFFFFFF, 31-x));"!!! It seems I was under time pressure I didn’t think long enough...

Я печально грущу из-за того, что сдвиги в сообщении о языке Оберон-07 вообще-то не поддерживают тип SET. Но это в рассылке никого не смущает.

Kemet, не слезайте с темы. Выставлять флаги специально "чтобы было" не нужно. Никакой разумной причины для этого нет.

Человек радостно радуется, что избежал SYSTEM. Я печально грущу из-за того, что сдвиги в сообщении о языке Оберон-07 вообще-то не поддерживают тип SET. Но это в рассылке никого не смущает.

...академический Оберон-07 действительно никому не интересен, даже реализаторам систем на FPGA...

Причина проста - одинаковое поведение машинной инструкции и её программного воплощения. На форумах фрипаскаля несколько раз всплывали темы, когда люди натыкались на проблемы из-за того, что семантика программной реализации для 64-битных чисел в 32-битном режиме отличалась от машинной.

Да как-бы Вирта не смущает, что в прожект оберон реализация Оберона-07 не соответствует репорту. Оберон что дышло: куда повернул - туда и вышло.

Дык в цифровом "железе" сдвиговый регистр это... ну, как колесо. И принцип "биты - не числа" в железе, мягко говоря, не продуктивен.

Я вообще не понял эту фразу, как-то сильно замудрёно.

ADC(m, n) INTEGER INTEGER add with carry C
SBC(m, n) INTEGER INTEGER subtract with carry C

И меня не покидает ощущение, что Оберон-07 — самый эзотеричный из всех языков семейства Оберона.

MODULE M;

VAR x: INTEGER;

PROCEDURE Proc(VAR a, b: INTEGER);
BEGIN
a := b + 1;
ASSERT(a # b);
END Proc;

BEGIN
x := 1;
Proc(x, x);
END M.

В Обероне-07 присутствуют операции, которые, как раз, учитывают тот самый флаг

Ну вот как бы надо обеспечить этот самый флаг, если семантика машинной инструкции предполагает его установку. А команды сдвига этот флаг устанавливают.

Как мне кажется, синонимы надо запретить, однако же во всех Оберонах (насколько я знаю) они разрешены.

Да уж, интересный случай. Пожалуй, запрещать синонимы на уровне компиляции — это усложнит компилятор и перегрузит описание языка. Проблема в том, что даже маленький Оберон подвержен таким тонким моментам...

Пожалуй, запрещать синонимы на уровне компиляции — это усложнит компилятор и перегрузит описание языка.

синонимы надо запретить

SYSTEM.ADR(a) # SYSTEM.ADR(b).

"Достаточно" запретить VAR-параметры