index 3c1b0db19f698c2c42cf661374a9d10e55dff6d3..ce31365148ecc7ab65d5dc428e6953540148651d 100644 (file)
--- a/notes
+++ b/notes
-- нету тестовых процедур для ввода-вывода
-- нету процедуры NEW
-- нету открытых массивов
+- Сделать проверку повторов в CASE и выполнять прирывание при отсутствии ELSE.
+- В FOR сначала должна вычисляться переменная temp.
+- Сделать выполнение прерывания при отсутствии ELSE в операторе WITH.
+- Сделать нормальную проверку наличия RETURN.
+- Запретить массивы и записи как результат процедуры-функции.
+- Запретить модулю импорт самого себя.
+- Нужно проверить правила совместимости типов (Приложение A).
-- нету секции import + identdef + qualident
+- Нет модуля SYSTEM
+- Нет функций ASH CAP CHR ENTIER LEN LONG ODD ORD SHORT
+- Нет процедур DEC EXCL INC INCL
+- Нет счёта строк / столбцов
+- Нет процедур привязанных к типм
+- Не реализована свёртка констант
-- неÑ\82Ñ\83 опеÑ\80аÑ\82оÑ\80ов if, while и Ñ\82.д.
+- Ð\9dÑ\83жно пÑ\80оÑ\81моÑ\82Ñ\80еÑ\82Ñ\8c Ð\94Ñ\83бовÑ\8bе Ñ\82Ñ\80ебованиÑ\8f.
-- нету типа set
-- не реализована свёртка констант
-- не протестированы типы разнных размеров
+- JVM: Импортируемые модули не инициализируются
+- JVM: Не реализовано сравнение строк.
+- JVM: Не достаточно средств для реализации рефлексии на уровне локальных процедур.
+ Как минимум нужно каждой функции добавлять фрейм к параметрам (динамическая связь?)
-- не реализовано расширение типа record (libgccjit не умеет в классы)
-- не работает присваивание к переменным-процедурам.
-- не реализован автокаст (libgccjit сам разруливает)
-- libgccjit не умеет в локальные функции (опять пилить костыли как в jvm)
-- не понятен результат присваивания статических/разыменованных структур (* reca := recb; *)
-- не понятен результат присваивания статических/разыменованных массивов (* arr1 := arr2; *)
+- Уточнить как должна работать проверка импорта на чтение. (8.1)
+- Уточнить результат оператора "/" (8.2.2)
+- Примеры -5 DIV 3 и -5 MOD 3 работают не так как в (8.2.2)
+ Нужен другой тип округления?
-- нету счёта строк
-- любая ошибка фатальна
+- Нужны средства создания биндингов. На данный момент реализуемо как заглушки для модулей.
+- Любая ошибка фатальна
+- Нет проверок переполнения в компилтайме.
+ Возможно можно заюзать это:
+ https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html