X-Git-Url: http://deadsoftware.ru/gitweb?p=dsw-obn.git;a=blobdiff_plain;f=notes;h=9ff5af38d1d1334d8adee189a0d370664dca1269;hp=0dd194e9e6e6057ced4ec2518616dd9f63622934;hb=HEAD;hpb=338eeae16495bbdcbd8c4f3dad4996346e26139b diff --git a/notes b/notes index 0dd194e..9ff5af3 100644 --- a/notes +++ b/notes @@ -1,16 +1,40 @@ -- хреновая проверка типов-указателей -- нету процедуры NEW -- не реализовано расширение типа record -- не реализована краткая форма многомерных массивов и краткой формы доступа к ним (* [1, 2, 3] - компилится, но вычисляется только первый аргумент *) - -- не реализованы локальные объявления в процедурах -- не работает присваивание к переменным-процедурам. -- не понятен результат присваивания статических структур (* reca := recb; *) -- не понятен результат присваивания статических массивов (* arr1 := arr2; *) -- не реализованы var-параметры в генераторе -- не реализованы процедуры "наперёд" - -- нету типа set -- не реализована свёртка констант -- не реализован автокаст (libgccjit сам разруливает) -- не протестированы типы разнных размеров +- 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: Не достаточно средств для реализации рефлексии на уровне локальных процедур. + Как минимум нужно каждой функции добавлять фрейм к параметрам (динамическая связь?)