- Какие-то проблемы с определением типов наперёд: (* TYPE R2 = RECORD r : R1 END; R1 = RECORD END; *) - Нужно изменить передачу информации о вызываемой процедуре в MODE_CALL На данный момент конкретная процедура передаётся в поле var, вместо parent Что не позволяет делать процедуры-переменные в полях записей, массивах и т.д. - Нужны средства создания биндингов. Хотя бы как заглушки для модулей. - нужен автокаст int -> real для DIV. Да и вообще каст типов. - нет символов и строк - нету операторов if, while и т.д. - нету типа set - не реализована свёртка констант - не протестированы типы разнных размеров - не реализовано расширение типа record - не реализован автокаст - нет проверок переполнения в компилтайме. Возможно можно заюзать это: https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html - нету счёта строк / столбцов - любая ошибка фатальна