X-Git-Url: https://deadsoftware.ru/gitweb?a=blobdiff_plain;f=notes;h=3cc029712b28882beb17e8ea07e05d9bdbbbd1b3;hb=7bb96abf74bcb31d9a3ecb820b0b6565813bf324;hp=148c0b4607839a11b72ca610804dd7e425fdf2ad;hpb=3818049ca3679e8fcc432345d41a2d930f7874e4;p=dsw-obn.git

diff --git a/notes b/notes
index 148c0b4..3cc0297 100644
--- a/notes
+++ b/notes
@@ -1,10 +1,13 @@
-- поля структур всегда доступны
-- нету проверки экспорта для чтения
-- нету комментариев
+- Какие-то проблемы с определением типов наперёд:
+  (*
+    TYPE
+    R2 = RECORD r : R1 END;
+    R1 = RECORD END;
+  *)
 
-- нету тестовых процедур для ввода-вывода
-- нету процедуры NEW
-- нету открытых массивов
+
+- нет символов и строк
+- нужен автокаст int -> real для DIV. Да и вообще каст типов.
 
 - нету операторов if, while и т.д.
 
@@ -12,18 +15,11 @@
 - не реализована свёртка констант
 - не протестированы типы разнных размеров
 
-- не реализовано присваивание к переменным-процедурам:
-    в libgccjit нет средств получения указателя на функцию.
-    Как решение - получение указателя в основной программе.
-- не реализовано расширение типа record:
-    libgccjit не умеет в классы. Проверки в рантайме надо делать вручную.
-- не реализован автокаст:
-    Не критично: libgccjit сам разруливает типы разных размеров.
-- не реализованы локальные процедуры:
-    libgccjit не умеет в локальные функции.
-    Обойти можно костылём как в jvm.
-- не понятен результат присваивания статических/разыменованных структур (* reca := recb; *)
-- не понятен результат присваивания статических/разыменованных массивов (* arr1 := arr2; *)
+- не реализовано расширение типа record
+- не реализован автокаст
+- нет проверок переполнения в компилтайме.
+    Возможно можно заюзать это:
+      https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html
 
 - нету счёта строк / столбцов
 - любая ошибка фатальна