X-Git-Url: http://deadsoftware.ru/gitweb?a=blobdiff_plain;f=notes;h=7092150dcbbcf53b3179614ba6ea19146adad7ac;hb=d11b76dfc015306841ed4befae800ba1ed7c765b;hp=4133badb548062218500fb6a93abea0594551be3;hpb=92fc7033b874920acf1b2f6e21bde51dcd0197f1;p=dsw-obn.git diff --git a/notes b/notes index 4133bad..7092150 100644 --- a/notes +++ b/notes @@ -1,25 +1,26 @@ -- нету тестовых процедур для ввода-вывода -- нету процедуры NEW -- нету открытых массивов +- Какие-то проблемы с определением типов наперёд: + (* + TYPE + R2 = RECORD r : R1 END; + R1 = RECORD END; + *) +- Нужно изменить передачу информации о вызываемой процедуре в MODE_CALL + На данный момент конкретная процедура передаётся в поле var, вместо parent + Что не позволяет делать процедуры-переменные в полях записей, массивах и т.д. + +- нет символов и строк +- не реализовано расширение типа record +- нету типа set - нету операторов if, while и т.д. -- нету типа set +- не реализованы все встроенные функции - не реализована свёртка констант -- не протестированы типы разнных размеров - -- не реализовано присваивание к переменным-процедурам: - в libgccjit нет средств получения указателя на функцию. - Как решение - получение указателя в основной программе. -- не реализовано расширение типа record: - libgccjit не умеет в классы. Проверки в рантайме надо делать вручную. -- не реализован автокаст: - Не критично: libgccjit сам разруливает типы разных размеров. -- не реализованы локальные процедуры: - libgccjit не умеет в локальные функции. - Обойти можно костылём как в jvm. -- не понятен результат присваивания статических/разыменованных структур (* reca := recb; *) -- не понятен результат присваивания статических/разыменованных массивов (* arr1 := arr2; *) - нету счёта строк / столбцов - любая ошибка фатальна + +- Нужны средства создания биндингов. На данный момент реализуемо как заглушки для модулей. +- нет проверок переполнения в компилтайме. + Возможно можно заюзать это: + https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html