index 0dd194e9e6e6057ced4ec2518616dd9f63622934..072a37d62285032ed0146ec950b713f235fe0074 100644 (file)
--- a/notes
+++ b/notes
-- хреновая проверка типов-указателей
-- нету процедуры NEW
-- не реализовано расширение типа record
-- не реализована краткая форма многомерных массивов и краткой формы доступа к ним (* [1, 2, 3] - компилится, но вычисляется только первый аргумент *)
+- Переделать присваивание строк.
+- Сделать проверку повторов в CASE и выполнять прирывание при отсутствии ELSE.
+- В FOR сначала должна вычисляться переменная temp.
+- Сделать выполнение прерывания при отсутствии ELSE в операторе WITH.
+- Сделать нормальную проверку наличия RETURN.
+- Запретить массивы и записи как результат процедуры-функции.
+- Запретить модулю импорт самого себя.
+- Нужно проверить правила совместимости типов (Приложение A).
-- не Ñ\80еализованÑ\8b локалÑ\8cнÑ\8bе обÑ\8aÑ\8fвлениÑ\8f в пÑ\80оÑ\86едÑ\83Ñ\80аÑ\85
-- не Ñ\80абоÑ\82аеÑ\82 пÑ\80иÑ\81ваивание к пеÑ\80еменнÑ\8bм-пÑ\80оÑ\86едÑ\83Ñ\80ам.
-- не понÑ\8fÑ\82ен Ñ\80езÑ\83лÑ\8cÑ\82аÑ\82 пÑ\80иÑ\81ваиваниÑ\8f Ñ\81Ñ\82аÑ\82иÑ\87еÑ\81киÑ\85 Ñ\81Ñ\82Ñ\80Ñ\83кÑ\82Ñ\83Ñ\80 (* reca := recb; *)
-- не понÑ\8fÑ\82ен Ñ\80езÑ\83лÑ\8cÑ\82аÑ\82 пÑ\80иÑ\81ваиваниÑ\8f Ñ\81Ñ\82аÑ\82иÑ\87еÑ\81киÑ\85 маÑ\81Ñ\81ивов (* arr1 := arr2; *)
-- не Ñ\80еализованÑ\8b var-паÑ\80амеÑ\82Ñ\80Ñ\8b в генеÑ\80аÑ\82оÑ\80е
-- не Ñ\80еализованÑ\8b пÑ\80оÑ\86едÑ\83Ñ\80Ñ\8b "напеÑ\80Ñ\91д"
+- Ð\9dеÑ\82 модÑ\83лÑ\8f SYSTEM
+- Ð\9dеÑ\82 Ñ\84Ñ\83нкÑ\86ий ASH CAP CHR ENTIER LEN LONG ODD ORD SHORT
+- Ð\9dеÑ\82 пÑ\80оÑ\86едÑ\83Ñ\80 ASSERT COPY DEC EXCL HALT INC INCL
+- Ð\9dеÑ\82 Ñ\81Ñ\87Ñ\91Ñ\82а Ñ\81Ñ\82Ñ\80ок / Ñ\81Ñ\82олбÑ\86ов
+- Ð\9dеÑ\82 пÑ\80оÑ\86едÑ\83Ñ\80 пÑ\80ивÑ\8fзаннÑ\8bÑ\85 к Ñ\82ипм
+- Ð\9dе Ñ\80еализована Ñ\81вÑ\91Ñ\80Ñ\82ка конÑ\81Ñ\82анÑ\82
-- нету типа set
-- не реализована свёртка констант
-- не реализован автокаст (libgccjit сам разруливает)
-- не протестированы типы разнных размеров
+- Нужно просмотреть Дубовые требования.
+
+- JVM: Импортируемые модули не инициализируются
+- JVM: Не реализовано сравнение строк.
+- JVM: Не достаточно средств для реализации рефлексии на уровне локальных процедур.
+ Как минимум нужно каждой функции добавлять фрейм к параметрам (динамическая связь?)
+
+- Уточнить как должна работать проверка импорта на чтение. (8.1)
+- Уточнить результат оператора "/" (8.2.2)
+- Примеры -5 DIV 3 и -5 MOD 3 работают не так как в (8.2.2)
+
+- Нужны средства создания биндингов. На данный момент реализуемо как заглушки для модулей.
+- Любая ошибка фатальна
+- Нет проверок переполнения в компилтайме.
+ Возможно можно заюзать это:
+ https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html