Oberon space

Возникла такая мысля (наверняка не новая):

Для оберона вполне можно реализовать не только синтаксическую проверку (исходя из следующих предпосылок):
1) для всех условий используются только переменные простых типов (сравнение с ними). Если есть обращение к другим модулям, то считается что они корректны (для обозначения этого можно какой-то АССЕРТ придумать)
2) везде где нужно прописываются АССЕРТЫ (именно на них и ориентировалась бы проверка). Это, пожалуй, самая сложная часть для программиста, но без нее похоже проверки не сделать.
3) под проверкой понимаю тот факт, что код выполнится процедурой от начала до конца (с учетом вызова других процедур).

Тут же будут проверяться и не проиниченные переменные (на входе то цикла или чего там еще, тоже будет стоять АССЕРТ).

По сути, как понимаю, будут проверяться выполнение АССЕРТОВ, а также сравниваться между собой АССЕРТЫ (входные и выходные).

Или такие АССЕРТЫ катастрофически усложнят написание кода?

Пожалуй данную тему можно было отнести и к основной теме, здесь же тоже ПО задействовано. Сложность его или чего там еще

А "\n" и заменяется получается 0AX ?

Если делал как для яваскрипта "\n", то строка в таком виде и остается

Извиняюсь, что то не нашел, а какой символ разделителя для многострочного ARRAY OF CHAR использовать? Или такого нету?

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

Локально примерно на таком коде ошибка не правильно выдавалась
MODULE v;
 
TYPE
 t* = POINTER TO RECORD END;
 
BEGIN
 
END v.

MODULE test;
IMPORT JS, v;
 
TYPE
 
 s = POINTER TO RECORD END;

PROCEDURE k();
 
END k;
 
 PROCEDURE T* ();
 
 VAR
  k: s;
  t: v.;
 
 BEGIN
 
 END;
BEGIN
 
  T ();
    JS.alert("Hello, World!")
END test.



В случае зацикливания модулей, ругается на переполнение стека (если не ошибаюсь, на память привожу)