Исправлено падение при использовании процедурного типа

[dsw-obn.git] / notes

diff --git a/notes b/notes
index 3c1b0db19f698c2c42cf661374a9d10e55dff6d3..71ec669ef5ea5c935cc40c1546383407d7a2ec6e 100644 (file)
--- a/notes
+++ b/notes
@@ -1,21 +1,35 @@
-- нету тестовых процедур для ввода-вывода
-- нету процедуры NEW
-- нету открытых массивов
+- Нет счёта строк / столбцов
 
-- нету секции import + identdef + qualident
+- Сделать проверку повторов в CASE.
+- Сделать нормальную проверку наличия RETURN.
+- Нет процедур привязанных к типм
 
-- нету операторов if, while и т.д.
+- Нужно просмотреть Дубовые требования:
+  2.3 Illegal Operations
+    3. Type tests and type guards with NIL pointers.
+    5. Accessing a set element outside the range 0 .. MAX (SET).
+    6. Applying SHORT (...) to an argument with value not in the range of the result type.
+    8. Overflows.
+  2.4 WITH and guarded variables ???
+  2.5 String Comparison ?
+  2.7 String and Character Compatibility
+  3.5 Interfacing to External Libraries
+  3.6 Underscores in Identifiers
+  3.7 In-line Exponentiation
+  5.13 Read only VAR Parameters
+  1.2.5 Module Files
+  1.2.6 Module Strings
+  1.2.7 Module Math and MathL
 
-- нету типа set
-- не реализована свёртка констант
-- не протестированы типы разнных размеров
+- Примеры -5 DIV 3 и -5 MOD 3 работают не так как в (8.2.2)
+    Нужен другой тип округления?
 
-- не Ñ\80еализовано Ñ\80аÑ\81Ñ\88иÑ\80ение Ñ\82ипа record (libgccjit не Ñ\83мееÑ\82 в клаÑ\81Ñ\81Ñ\8b)
-- не Ñ\80абоÑ\82аеÑ\82 пÑ\80иÑ\81ваивание к пеÑ\80еменнÑ\8bм-пÑ\80оÑ\86едÑ\83Ñ\80ам.
-- не Ñ\80еализован авÑ\82окаÑ\81Ñ\82 (libgccjit Ñ\81ам Ñ\80азÑ\80Ñ\83ливаеÑ\82)
-- libgccjit не умеет в локальные функции (опять пилить костыли как в jvm)
-- не понятен результат присваивания статических/разыменованных структур (* reca := recb; *)
-- не понятен результат присваивания статических/разыменованных массивов (* arr1 := arr2; *)
+- Ð\9dеÑ\82 модÑ\83лÑ\8f SYSTEM (на жабе он оÑ\81обо и не нÑ\83жен)
+- Ð\9dÑ\83жнÑ\8b Ñ\81Ñ\80едÑ\81Ñ\82ва Ñ\81озданиÑ\8f биндингов. Ð\9dа даннÑ\8bй моменÑ\82 Ñ\80еализÑ\83емо как пÑ\83Ñ\81Ñ\82Ñ\8bе модÑ\83ли.
+- Ð\9bÑ\8eбаÑ\8f оÑ\88ибка Ñ\84аÑ\82алÑ\8cна
+- Нет проверок переполнения в компилтайме.
+    Возможно можно заюзать это:
+      https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html
 
-- нету счёта строк
-- любая ошибка фатальна
+- JVM: Не достаточно средств для реализации рефлексии на уровне локальных процедур.
+    Как минимум нужно каждой функции добавлять фрейм к параметрам (динамическая связь?)