index 819b45f135f2a5af03910849a15bbd9593aaa718..7d6b72b343800718f28760503f77260056198640 100644 (file)
--- a/notes
+++ b/notes
-- нету экспорта объектов (всё доступно для чтения и записи)
-- нету списков переменных/параметров. (* VAR x, y, z : INTEGER; *)
-- нету комментариев
+- Сделать проверку повторов в CASE и выполнять прирывание при отсутствии ELSE.
+- Сделать выполнение прерывания при отсутствии ELSE в операторе WITH.
+- Сделать нормальную проверку наличия RETURN.
+- Запретить массивы и записи как результат процедуры-функции.
+- Запретить модулю импорт самого себя.
+- Нужно проверить правила совместимости типов (Приложение A).
-- нету тестовых процедур для ввода-вывода
-- нету процедуры NEW
-- нету открытых массивов
+- Нет модуля SYSTEM
+- Нет функций ASH CAP CHR ENTIER LEN LONG ODD ORD SHORT
+- Нет процедур DEC EXCL INC INCL
+- Нет счёта строк / столбцов
+- Нет процедур привязанных к типм
+- Не реализована свёртка констант
-- неÑ\82Ñ\83 опеÑ\80аÑ\82оÑ\80ов if, while и Ñ\82.д.
+- Ð\9dÑ\83жно пÑ\80оÑ\81моÑ\82Ñ\80еÑ\82Ñ\8c Ð\94Ñ\83бовÑ\8bе Ñ\82Ñ\80ебованиÑ\8f.
-- нету типа set
-- не реализована свёртка констант
-- не протестированы типы разнных размеров
+- JVM: Импортируемые модули не инициализируются
+- JVM: Не реализовано сравнение строк.
+- JVM: Не достаточно средств для реализации рефлексии на уровне локальных процедур.
+ Как минимум нужно каждой функции добавлять фрейм к параметрам (динамическая связь?)
-- не реализовано присваивание к переменным-процедурам:
- в libgccjit нет средств получения указателя на функцию.
- Как решение - получение указателя в основной программе.
-- не реализовано расширение типа record:
- libgccjit не умеет в классы. Проверки в рантайме надо делать вручную.
-- не реализован автокаст:
- Не критично: libgccjit сам разруливает типы разных размеров.
-- не реализованы локальные процедуры:
- libgccjit не умеет в локальные функции.
- Обойти можно костылём как в jvm.
-- не понятен результат присваивания статических/разыменованных структур (* reca := recb; *)
-- не понятен результат присваивания статических/разыменованных массивов (* arr1 := arr2; *)
+- Уточнить как должна работать проверка импорта на чтение. (8.1)
+- Уточнить результат оператора "/" (8.2.2)
+- Примеры -5 DIV 3 и -5 MOD 3 работают не так как в (8.2.2)
+ Нужен другой тип округления?
-- нету счёта строк / столбцов
-- любая ошибка фатальна
+- Нужны средства создания биндингов. На данный момент реализуемо как заглушки для модулей.
+- Любая ошибка фатальна
+- Нет проверок переполнения в компилтайме.
+ Возможно можно заюзать это:
+ https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html