X-Git-Url: https://deadsoftware.ru/gitweb?a=blobdiff_plain;f=notes;h=79510a02b93db54f93aee3d4508dd2a6391e10d1;hb=25b73915e7fe0ae7dc51cf6f4a012f021257a35d;hp=c1a8b0b5dfc95559b85b6c5fdbf0dbad7a58e315;hpb=89dfaf94ddbbc501020554232ce026b6584e8045;p=dsw-obn.git diff --git a/notes b/notes index c1a8b0b..79510a0 100644 --- a/notes +++ b/notes @@ -1,8 +1,16 @@ -- нету комментариев +- Какие-то проблемы с определением типов наперёд: + (* + TYPE + R2 = RECORD r : R1 END; + R1 = RECORD END; + *) +- Нужно изменить передачу информации о вызываемой процедуре в MODE_CALL + На данный момент конкретная процедура передаётся в поле var, вместо parent + Что не позволяет делать процедуры-переменные в полях записей, массивах и т.д. +- Нужны средства создания биндингов. На данный момент реализуемо как заглушки для модулей. -- нету тестовых процедур для ввода-вывода -- нету процедуры NEW -- нету открытых массивов +- нужен автокаст int -> real для DIV. Да и вообще каст типов. +- нет символов и строк - нету операторов if, while и т.д. @@ -10,18 +18,11 @@ - не реализована свёртка констант - не протестированы типы разнных размеров -- не реализовано присваивание к переменным-процедурам: - в libgccjit нет средств получения указателя на функцию. - Как решение - получение указателя в основной программе. -- не реализовано расширение типа record: - libgccjit не умеет в классы. Проверки в рантайме надо делать вручную. -- не реализован автокаст: - Не критично: libgccjit сам разруливает типы разных размеров. -- не реализованы локальные процедуры: - libgccjit не умеет в локальные функции. - Обойти можно костылём как в jvm. -- не понятен результат присваивания статических/разыменованных структур (* reca := recb; *) -- не понятен результат присваивания статических/разыменованных массивов (* arr1 := arr2; *) +- не реализовано расширение типа record +- не реализован автокаст +- нет проверок переполнения в компилтайме. + Возможно можно заюзать это: + https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html - нету счёта строк / столбцов - любая ошибка фатальна