DEADSOFTWARE

Исправлены VAR-параметры, добавлены модули Files и Strings
[dsw-obn.git] / notes
diff --git a/notes b/notes
index 977d7cd3e9966f7e5280050849215b3eae712114..a07b3b5a196e2a6711a7b8162612eec4f91a3170 100644 (file)
--- a/notes
+++ b/notes
@@ -1,30 +1,34 @@
-- размеры типов не вычисляются (oberon_generator_get_type_size)
-    в libgccjit нет средств получения размера типов, в т.ч. структур
-    Придётся гадать.
-- Ð¿Ñ\80оÑ\86едÑ\83Ñ\80а NEW Ñ\81оздаÑ\91Ñ\82 Ð¼Ð°Ñ\81Ñ\81ивÑ\8b Ñ\82олÑ\8cко Ñ\81Ñ\82аÑ\82иÑ\87еÑ\81кой Ñ\80азмеÑ\80ноÑ\81Ñ\82и (и Ð½Ðµ Ñ\81оздаÑ\91Ñ\82 Ñ\81Ñ\82Ñ\80Ñ\83кÑ\82Ñ\83Ñ\80Ñ\8b).
-- Ð½ÐµÑ\82Ñ\83 Ð¾Ñ\82кÑ\80Ñ\8bÑ\82Ñ\8bÑ\85 Ð¼Ð°Ñ\81Ñ\81ивов
+- Не полная реализация модуля Strings
+- Не полная реализация модуля Files
+- Сделать проверку повторов в CASE.
+- Ð¡Ð´ÐµÐ»Ð°Ñ\82Ñ\8c Ð½Ð¾Ñ\80малÑ\8cнÑ\83Ñ\8e Ð¿Ñ\80овеÑ\80кÑ\83 Ð½Ð°Ð»Ð¸Ñ\87иÑ\8f RETURN.
+- Ð\9dеÑ\82 Ð¿Ñ\80оÑ\86едÑ\83Ñ\80 Ð¿Ñ\80ивÑ\8fзаннÑ\8bÑ\85 Ðº Ñ\82ипм
 
-- нету операторов 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.7 Module Math and MathL
 
-- нет символов и строк
-- импортируемые модули не инициализируются (секция begin)
-- нету типа real, оператор / должен возвращать дробный результат
-- нету типа set
-- не реализована свёртка констант
-- не протестированы типы разнных размеров
+- Примеры -5 DIV 3 и -5 MOD 3 работают не так как в (8.2.2)
+    Нужен другой тип округления?
 
-- не реализовано присваивание процедур к переменным-процедурам:
-    в libgccjit нет средств получения указателя на функцию.
-    Как решение-костыль - получение указателя в основной программе и сохранение в переменной.
-- не реализовано расширение типа record:
-    libgccjit не умеет в классы. Проверки в рантайме надо делать вручную.
-- не реализован автокаст:
-    Не критично: libgccjit сам разруливает типы разных размеров.
-- не реализованы локальные процедуры:
-    libgccjit не умеет в локальные функции.
-    Обойти можно костылём как в jvm.
-- не понятен результат присваивания статических/разыменованных структур (* reca := recb; *)
-- не понятен результат присваивания статических/разыменованных массивов (* arr1 := arr2; *)
+- Нет счёта строк / столбцов (хрен с ними - у меня есть утилита tail!)
+- Нет модуля SYSTEM (на жабе он особо и не нужен)
+- Нужны средства создания биндингов. На данный момент реализуемо как пустые модули.
+- Любая ошибка фатальна
+- Нет проверок переполнения в компилтайме.
+    Возможно можно заюзать это:
+      https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html
 
-- нету счёта строк / столбцов
-- любая ошибка фатальна
+- JVM: Не достаточно средств для реализации рефлексии на уровне локальных процедур.
+    Как минимум нужно каждой функции добавлять фрейм к параметрам (динамическая связь?)