Правила совместимости типов приведены в соответствие со страндатром

[dsw-obn.git] / notes

diff --git a/notes b/notes
index 3e23e6b973ffde1b6c92741b58b5938ea9949e5a..31c1a4d0bdaece4fa2e013ab1d837896e17730af 100644 (file)
--- a/notes
+++ b/notes
@@ -1,15 +1,29 @@
-- неÑ\82Ñ\83 пÑ\80оÑ\86едÑ\83Ñ\80Ñ\8b NEW
-- не Ñ\80еализовано Ñ\80аÑ\81Ñ\88иÑ\80ение Ñ\82ипа record
-- не Ñ\80еализованÑ\8b многомеÑ\80нÑ\8bе маÑ\81Ñ\81ивÑ\8b
+- СделаÑ\82Ñ\8c пÑ\80овеÑ\80кÑ\83 повÑ\82оÑ\80ов в CASE.
+- СделаÑ\82Ñ\8c ноÑ\80малÑ\8cнÑ\83Ñ\8e пÑ\80овеÑ\80кÑ\83 налиÑ\87иÑ\8f RETURN.
+- Ð\9dÑ\83жно пÑ\80овеÑ\80иÑ\82Ñ\8c пÑ\80авила Ñ\81овмеÑ\81Ñ\82имоÑ\81Ñ\82и Ñ\82ипов (Ð\9fÑ\80иложение A).
 
-- не Ñ\80еализованÑ\8b локалÑ\8cнÑ\8bе обÑ\8aÑ\8fвлениÑ\8f в пÑ\80оÑ\86едÑ\83Ñ\80аÑ\85
-- не Ñ\80абоÑ\82аеÑ\82 пÑ\80иÑ\81ваивание к пеÑ\80еменнÑ\8bм-пÑ\80оÑ\86едÑ\83Ñ\80ам.
-- не понÑ\8fÑ\82ен Ñ\80езÑ\83лÑ\8cÑ\82аÑ\82 пÑ\80иÑ\81ваиваниÑ\8f Ñ\81Ñ\82аÑ\82иÑ\87еÑ\81киÑ\85 Ñ\81Ñ\82Ñ\80Ñ\83кÑ\82Ñ\83Ñ\80 (* reca := recb; *)
-- не Ñ\80еализованÑ\8b var-паÑ\80амеÑ\82Ñ\80Ñ\8b в генеÑ\80аÑ\82оÑ\80е
-- не Ñ\80еализованÑ\8b пÑ\80оÑ\86едÑ\83Ñ\80Ñ\8b "напеÑ\80Ñ\91д"
+- Ð\9dеÑ\82 Ñ\84Ñ\83нкÑ\86ий ASH CAP CHR ENTIER LEN LONG ODD ORD SHORT
+- Ð\9dеÑ\82 пÑ\80оÑ\86едÑ\83Ñ\80 DEC EXCL INC INCL
+- Ð\9dеÑ\82 Ñ\81Ñ\87Ñ\91Ñ\82а Ñ\81Ñ\82Ñ\80ок / Ñ\81Ñ\82олбÑ\86ов
+- Ð\9dеÑ\82 пÑ\80оÑ\86едÑ\83Ñ\80 пÑ\80ивÑ\8fзаннÑ\8bÑ\85 к Ñ\82ипм
+- Ð\9dе Ñ\80еализована Ñ\81вÑ\91Ñ\80Ñ\82ка конÑ\81Ñ\82анÑ\82
 
-- не реализована свёртка констант
-- не реализован автокаст (libgccjit сам разруливает)
-- не протестированы типы разнных размеров
+- Нужно просмотреть Дубовые требования.
 
-- похоже record инициализируется дважды в некоторых случаях
+- JVM: Импортируемые модули не инициализируются
+- JVM: Не реализовано сравнение строк.
+
+- Уточнить как должна работать проверка импорта на чтение. (8.1)
+- Уточнить результат оператора "/" (8.2.2)
+- Примеры -5 DIV 3 и -5 MOD 3 работают не так как в (8.2.2)
+    Нужен другой тип округления?
+
+- Нет модуля SYSTEM (на жабе он особо и не нужен)
+- Нужны средства создания биндингов. На данный момент реализуемо как заглушки для модулей.
+- Любая ошибка фатальна
+- Нет проверок переполнения в компилтайме.
+    Возможно можно заюзать это:
+      https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html
+
+- JVM: Не достаточно средств для реализации рефлексии на уровне локальных процедур.
+    Как минимум нужно каждой функции добавлять фрейм к параметрам (динамическая связь?)