X-Git-Url: http://deadsoftware.ru/gitweb?a=blobdiff_plain;f=notes;h=3cc029712b28882beb17e8ea07e05d9bdbbbd1b3;hb=31b71df908daa914198e78a0f43cf0a3965878dd;hp=fbb1be93c7374f5bc8a2f590932f0706c3640d5f;hpb=d1b4e7fdab92589146e19cf4b8b402edf4d6b33d;p=dsw-obn.git

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