DEADSOFTWARE

Исправлено падение при использовании процедурного типа
[dsw-obn.git] / notes
diff --git a/notes b/notes
index 0675bf305a87efbe7d223f9c0021289588676a9d..71ec669ef5ea5c935cc40c1546383407d7a2ec6e 100644 (file)
--- a/notes
+++ b/notes
@@ -1,16 +1,35 @@
-- нету типа set
-- нету операторов if, while и т.д.
+- Нет счёта строк / столбцов
 
-- Нужен тип представляющий типы
-    Требуется для оператора IS и некоторых встраиваемых функций
-- Нет оператора IS
-- не реализованы все встроенные функции
-- не реализована свёртка констант
+- Сделать проверку повторов в CASE.
+- Сделать нормальную проверку наличия RETURN.
+- Нет процедур привязанных к типм
 
-- нету счёта строк / столбцов
-- любая ошибка фатальна
+- Нужно просмотреть Дубовые требования:
+  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
 
-- Нужны средства создания биндингов. На данный момент реализуемо как заглушки для модулей.
-- нет проверок переполнения в компилтайме.
+- Примеры -5 DIV 3 и -5 MOD 3 работают не так как в (8.2.2)
+    Нужен другой тип округления?
+
+- Нет модуля SYSTEM (на жабе он особо и не нужен)
+- Нужны средства создания биндингов. На данный момент реализуемо как пустые модули.
+- Любая ошибка фатальна
+- Нет проверок переполнения в компилтайме.
     Возможно можно заюзать это:
       https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html
+
+- JVM: Не достаточно средств для реализации рефлексии на уровне локальных процедур.
+    Как минимум нужно каждой функции добавлять фрейм к параметрам (динамическая связь?)