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