index 3cc029712b28882beb17e8ea07e05d9bdbbbd1b3..0675bf305a87efbe7d223f9c0021289588676a9d 100644 (file)
--- a/notes
+++ b/notes
-- Какие-то проблемы с определением типов наперёд:
- (*
- TYPE
- R2 = RECORD r : R1 END;
- R1 = RECORD END;
- *)
-
-
-- нет символов и строк
-- нужен автокаст int -> real для DIV. Да и вообще каст типов.
-
+- нету типа set
- нету операторов if, while и т.д.
-- нету типа set
+- Нужен тип представляющий типы
+ Требуется для оператора IS и некоторых встраиваемых функций
+- Нет оператора IS
+- не реализованы все встроенные функции
- не реализована свёртка констант
-- не протестированы типы разнных размеров
-- не реализовано расширение типа record
-- не реализован автокаст
+- нету счёта строк / столбцов
+- любая ошибка фатальна
+
+- Нужны средства создания биндингов. На данный момент реализуемо как заглушки для модулей.
- нет проверок переполнения в компилтайме.
Возможно можно заюзать это:
https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html
-
-- нету счёта строк / столбцов
-- любая ошибка фатальна