index e07d89d002f2b95fb1f22405e53549dcb974a228..cf12913f25bfb136d5410fa6e51a6dc266fbb4d2 100644 (file)
--- a/notes
+++ b/notes
-- нету проверки экспорта для чтения
-- нету списков переменных/параметров. (* VAR x, y, z : INTEGER; *)
-- нету комментариев
+- Сделать проверку повторов в CASE.
+- Сделать нормальную проверку наличия RETURN.
-- нету тестовых процедур для ввода-вывода
-- нету процедуры NEW
-- нету открытых массивов
+- Нет функций 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: Импортируемые модули не инициализируются
-- не реализовано присваивание к переменным-процедурам:
- в libgccjit нет средств получения указателя на функцию.
- Как решение - получение указателя в основной программе.
-- не реализовано расширение типа record:
- libgccjit не умеет в классы. Проверки в рантайме надо делать вручную.
-- не реализован автокаст:
- Не критично: libgccjit сам разруливает типы разных размеров.
-- не реализованы локальные процедуры:
- libgccjit не умеет в локальные функции.
- Обойти можно костылём как в jvm.
-- не понятен результат присваивания статических/разыменованных структур (* reca := recb; *)
-- не понятен результат присваивания статических/разыменованных массивов (* arr1 := arr2; *)
+- Уточнить как должна работать проверка импорта на чтение. (8.1)
+- Примеры -5 DIV 3 и -5 MOD 3 работают не так как в (8.2.2)
+ Нужен другой тип округления?
-- нету счёта строк / столбцов
-- любая ошибка фатальна
+- Нет модуля SYSTEM (на жабе он особо и не нужен)
+- Нужны средства создания биндингов. На данный момент реализуемо как заглушки для модулей.
+- Любая ошибка фатальна
+- Нет проверок переполнения в компилтайме.
+ Возможно можно заюзать это:
+ https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html
+
+- JVM: Не достаточно средств для реализации рефлексии на уровне локальных процедур.
+ Как минимум нужно каждой функции добавлять фрейм к параметрам (динамическая связь?)