X-Git-Url: http://deadsoftware.ru/gitweb?p=dsw-obn.git;a=blobdiff_plain;f=notes;h=9ff5af38d1d1334d8adee189a0d370664dca1269;hp=4133badb548062218500fb6a93abea0594551be3;hb=HEAD;hpb=92fc7033b874920acf1b2f6e21bde51dcd0197f1 diff --git a/notes b/notes index 4133bad..9ff5af3 100644 --- a/notes +++ b/notes @@ -1,25 +1,40 @@ -- нету тестовых процедур для ввода-вывода -- нету процедуры NEW -- нету открытых массивов - -- нету операторов if, while и т.д. - -- нету типа set -- не реализована свёртка констант -- не протестированы типы разнных размеров - -- не реализовано присваивание к переменным-процедурам: - в libgccjit нет средств получения указателя на функцию. - Как решение - получение указателя в основной программе. -- не реализовано расширение типа record: - libgccjit не умеет в классы. Проверки в рантайме надо делать вручную. -- не реализован автокаст: - Не критично: libgccjit сам разруливает типы разных размеров. -- не реализованы локальные процедуры: - libgccjit не умеет в локальные функции. - Обойти можно костылём как в jvm. -- не понятен результат присваивания статических/разыменованных структур (* reca := recb; *) -- не понятен результат присваивания статических/разыменованных массивов (* arr1 := arr2; *) - -- нету счёта строк / столбцов -- любая ошибка фатальна +- Jasmin создаёт ошибку в float константах, надо как-то порешать. +- Нужно делать проверку границ при касте индекса массива с типом HUGEINT + +- Нет процедур привязанных к типм (10.2) +- Не полная реализация модуля Files + * Нет процедур ReadNum WriteNum + +- Разршить отсутсвие RETURN в функциях без BEGIN + С вкорячиванием трапа, естественно. +- Нужно передлать кодогенератор что бы складировать код в структурах а не напрямую срать в файлы + +- Не полная реализация модуля Strings + * Не реализованы процедуры Insert Append Delete Replace Extract Pos +- Сделать проверку повторов в CASE. +- Сделать нормальную проверку наличия RETURN. + +- Нужны средства создания биндингов. (oakwood 3.5) +- Любая ошибка фатальна + +- Примеры -5 DIV 3 и -5 MOD 3 работают не так как в (8.2.2) + Нужен другой тип округления? + +- Неплохо бы иметь оператор ** (oakwood 3.7) +- Неплохо бы иметь параметры только для чтения (oakwood 5.13) +- Надо что-то делать с ситуацией описанной в (okawood 2.4) + +- Запретить проверку типа и приведене типа если указатель имеет значение NIL (oakwood 2.3.3) +- Запретить доступ к битам SET которые не входят в пределы 0..MAX(SET) (oakwood 2.3.5) +- Запретить каст через SHORT если значение не в пределах результата (в рантайме чтоли?) (oakwood 2.3.6) +- Нет проверки переполнений (oakwood 2.3.8) +- Нет проверок переполнения в компилтайме. + Возможно можно заюзать это: + https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html + +- Не полная реализация модуля SYSTEM + * Процедуры GETREG PUTREG впринципе вписываются в jvm + и могут быть полезны при реализции рефлекции + * Остальное не имеет смысла в jvm +- JVM: Не достаточно средств для реализации рефлексии на уровне локальных процедур. + Как минимум нужно каждой функции добавлять фрейм к параметрам (динамическая связь?)