index 7092150dcbbcf53b3179614ba6ea19146adad7ac..072a37d62285032ed0146ec950b713f235fe0074 100644 (file)
--- a/notes
+++ b/notes
-- Какие-то проблемы с определением типов наперёд:
- (*
- TYPE
- R2 = RECORD r : R1 END;
- R1 = RECORD END;
- *)
-- Нужно изменить передачу информации о вызываемой процедуре в MODE_CALL
- На данный момент конкретная процедура передаётся в поле var, вместо parent
- Что не позволяет делать процедуры-переменные в полях записей, массивах и т.д.
+- Переделать присваивание строк.
+- Сделать проверку повторов в CASE и выполнять прирывание при отсутствии ELSE.
+- В FOR сначала должна вычисляться переменная temp.
+- Сделать выполнение прерывания при отсутствии ELSE в операторе WITH.
+- Сделать нормальную проверку наличия RETURN.
+- Запретить массивы и записи как результат процедуры-функции.
+- Запретить модулю импорт самого себя.
+- Нужно проверить правила совместимости типов (Приложение A).
-- нет символов и строк
-- не реализовано расширение типа record
-- нету типа set
+- Нет модуля SYSTEM
+- Нет функций ASH CAP CHR ENTIER LEN LONG ODD ORD SHORT
+- Нет процедур ASSERT COPY DEC EXCL HALT INC INCL
+- Нет счёта строк / столбцов
+- Нет процедур привязанных к типм
+- Не реализована свёртка констант
-- неÑ\82Ñ\83 опеÑ\80аÑ\82оÑ\80ов if, while и Ñ\82.д.
+- Ð\9dÑ\83жно пÑ\80оÑ\81моÑ\82Ñ\80еÑ\82Ñ\8c Ð\94Ñ\83бовÑ\8bе Ñ\82Ñ\80ебованиÑ\8f.
-- не реализованы все встроенные функции
-- не реализована свёртка констант
+- JVM: Импортируемые модули не инициализируются
+- JVM: Не реализовано сравнение строк.
+- JVM: Не достаточно средств для реализации рефлексии на уровне локальных процедур.
+ Как минимум нужно каждой функции добавлять фрейм к параметрам (динамическая связь?)
-- нету счёта строк / столбцов
-- любая ошибка фатальна
+- Уточнить как должна работать проверка импорта на чтение. (8.1)
+- Уточнить результат оператора "/" (8.2.2)
+- Примеры -5 DIV 3 и -5 MOD 3 работают не так как в (8.2.2)
- Нужны средства создания биндингов. На данный момент реализуемо как заглушки для модулей.
-- нет проверок переполнения в компилтайме.
+- Любая ошибка фатальна
+- Нет проверок переполнения в компилтайме.
Возможно можно заюзать это:
https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html