Чем Вирту WITH не угодил?

[ilovb]

Проверил ETH Oberon (эмулятор под винду)

Вру. Это не эмулятор, а порт. Т.е. компилер там не виртовский, а OP2

[Kemet]

Пока нет времени вдумчиво исследовать исходники компилятора КП из ЧЯ1.6Ю но, просмотрев с десяток строк кода я увидел такую интересную конструкцию
(id -  это охраняемая переменная)

Код: [Выделить]

  IF (id # NIL) & (id.typ.form = Pointer) & ((id.mode = VarPar) OR ~id.leaf) THEN
    err(-302) (* warning 302 *)
END ;

[Kemet]

Проверил ETH Oberon (эмулятор под винду)

Вру. Это не эмулятор, а порт. Т.е. компилер там не виртовский, а OP2

а КП основан на ОП2 со всеми вытекающими

[Kemet]

Пока нет времени вдумчиво исследовать исходники компилятора КП из ЧЯ1.6Ю но, просмотрев с десяток строк кода я увидел такую интересную конструкцию
(id -  это охраняемая переменная)

Код: [Выделить]

  IF (id # NIL) & (id.typ.form = Pointer) & ((id.mode = VarPar) OR ~id.leaf) THEN
    err(-302) (* warning 302 *)
END ;

Как мне кажется, здесь, по логике, должен стоять запрет на передачу в WITH var pointer, т.е. компилятор должен дать нам по рукам, но не дает, значит условие не выполняется...

[Kemet]

Я не знаю как перекомпилить ЧЯ, может кто-нибудь посмотреть, что в id.typ.form
и id.mode при передаче var pointer - это в CPP строка 1451

[valexey]

Я не знаю как перекомпилить ЧЯ, может кто-нибудь посмотреть, что в id.typ.form
и id.mode при передаче var pointer - это в CPP строка 1451

На всякий случай напоминаю, что исходники ББ есть онлайн - см. шапку форума:

Онлайн исходники BlackBox: тут:WeBB и на github

Может быть удобным при обсуждении.

[valexey]

Я не знаю как перекомпилить ЧЯ, может кто-нибудь посмотреть, что в id.typ.form
и id.mode при передаче var pointer - это в CPP строка 1451

На всякий случай напоминаю, что исходники ББ есть онлайн - см. шапку форума:

Онлайн исходники BlackBox: тут:WeBB и на github

Может быть удобным при обсуждении.

В частности на интуресующую строку можно было просто дать ссылку.

[Kemet]

В частности на интуресующую строку можно было просто дать ссылку.

Там она 1438.

[ilovb]

А вот это любопытно...

...
3. Warnings
...
302   guarded variable can be side-effected
...

[Kemet]

А вот это любопытно...

...
3. Warnings
...
302   guarded variable can be side-effected
...

Так я и говорю, что проблема не в WITH, а в другом месте.
Получается, что они, всё-таки, потеряли информацию о том, что это ссылка, и условие не выполнилось.
Всё-ж таки надо вывод участвующих в вычислении условия переменных, может кто-то сделать? Но, подозреваю, VarPar не установлен

[ilovb]

Все там работает как надо. Это не логика компиляции, а просто предупреждение.

Меня вот интересует почему оно на экран не выводится. Код этот срабатывает в нашем случае (я проверил)

Вывод предупреждений видимо по дефолту выключен. Где это включить пока в упор не вижу...

[Kemet]

Все там работает как надо. Это не логика компиляции, а просто предупреждение.

Меня вот интересует почему оно на экран не выводится. Код этот срабатывает в нашем случае (я проверил)

Вывод предупреждений видимо по дефолту выключен. Где это включить пока в упор не вижу...

Всё-ж таки выполняется? Меня смутило отсутствие реакции. Пусть не ошибка, а хотя-бы предупреждение о проблеме должно было быть, а тишина, и мертвые с косами вдоль дорог стоят...

[Kemet]

Вывод предупреждений видимо по дефолту выключен. Где это включить пока в упор не вижу...

CPM PROCEDURE Mark*
забавно там

[ilovb]

Вот процедура из модуля DevCPM, которая собирает ошибки:
   
PROCEDURE Mark* (n, pos: INTEGER);
   BEGIN
      (*StdLog.Int(n);*)
      IF (n >= 0) & ~((oberon IN options) & (n >= 181) & (n <= 190)) THEN
         noerr := FALSE;
         IF pos < 0 THEN pos := 0 END;
         IF (pos < lastpos) OR (lastpos + 9 < pos) THEN
            lastpos := pos;
            IF errors < maxErrors THEN
               errNo[errors] := n; errPos[errors] := pos
            END;
            INC(errors)
         END;
         IF trap IN options THEN HALT(100) END;
      ELSIF (n <= -700) & (errors < maxErrors) THEN
         errNo[errors] := -n; errPos[errors] := pos; INC(errors)
      END
   END Mark;


Ошибка с кодом -302 тупо игнорится...

p.s. Жирным выделена моя вставка

[ilovb]

забавно там

Ага 

Они знали....