index 7092150dcbbcf53b3179614ba6ea19146adad7ac..693f32a80a90486705b57524ae58393bd068e60d 100644 (file)
--- a/notes
+++ b/notes
-- Какие-то проблемы с определением типов наперёд:
- (*
- TYPE
- R2 = RECORD r : R1 END;
- R1 = RECORD END;
- *)
-- Нужно изменить передачу информации о вызываемой процедуре в MODE_CALL
- На данный момент конкретная процедура передаётся в поле var, вместо parent
- Что не позволяет делать процедуры-переменные в полях записей, массивах и т.д.
+- Нужен тип представляющий типы
+ Требуется для оператора IS и некоторых встраиваемых функций
-- нет символов и строк
-- не реализовано расширение типа record
-- нету типа set
+- Нет типа SET
+- Нет оператора IS
+- Нет конструкции CASE
+- Нет конструкции LOOP/EXIT
+- Нет конструкции WITH
+- Нет модуля SYSTEM
+- Нет функций ASH CAP CHR ENTIER LEN LONG MAX MIN ODD ORD SHORT SIZE
+- Нет процедур ASSERT COPY DEC EXCL HALT INC INCL
+- Не реализована свёртка констант
+- Не счёта строк / столбцов
-- нету операторов if, while и т.д.
+- JVM: Не реализованы VAR-параметры.
+- JVM: Не реализованы локальные процедуры.
-- не реализованы все встроенные функции
-- не реализована свёртка констант
-
-- нету счёта строк / столбцов
-- любая ошибка фатальна
+- Нужно пробежаться по стандарту и всё перепроверить.
- Нужны средства создания биндингов. На данный момент реализуемо как заглушки для модулей.
- Нужны средства создания биндингов. На данный момент реализуемо как заглушки для модулей.
-- нет проверок переполнения в компилтайме.
+- Любая ошибка фатальна
+- Нет проверок переполнения в компилтайме.
Возможно можно заюзать это:
https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html
Возможно можно заюзать это:
https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html