DEADSOFTWARE

Запрещён возврат массива или записи функцией
[dsw-obn.git] / notes
diff --git a/notes b/notes
index c3e44ab1a381ec39ef20e8afb09b4ddb6311cb5e..c245ba0cbb6003961504531c4a851f75f24b4641 100644 (file)
--- a/notes
+++ b/notes
@@ -1,27 +1,29 @@
-- нету тестовых процедур для ввода-вывода
-- нету процедуры NEW
-- нету открытых массивов
+- Сделать проверку повторов в CASE и выполнять прирывание при отсутствии ELSE.
+- Сделать выполнение прерывания при отсутствии 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: Не достаточно средств для реализации рефлексии на уровне локальных процедур.
+    Как минимум нужно каждой функции добавлять фрейм к параметрам (динамическая связь?)
 
-- не реализовано присваивание к переменным-процедурам:
-    в libgccjit нет средств получения указателя на функцию.
-    Как решение - получение указателя в основной программе.
-- не реализовано расширение типа 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