- Нужен тип представляющий типы Требуется для оператора IS и некоторых встраиваемых функций - Нет типа SET - Нет оператора IS - Нет конструкции CASE - Нет конструкции FOR - Нет конструкции LOOP/EXIT - Нет конструкции WITH - Нет модуля SYSTEM - Нет функций ASH CAP CHR ENTIER LEN LONG MAX MIN ODD ORD SHORT SIZE - Нет процедур ASSERT COPY DEC EXCL HALT INC INCL - Не реализована свёртка констант - Не счёта строк / столбцов - Нужно пробежаться по стандарту и всё перепроверить. - Нужны средства создания биндингов. На данный момент реализуемо как заглушки для модулей. - Любая ошибка фатальна - Нет проверок переполнения в компилтайме. Возможно можно заюзать это: https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html