瀏覽代碼

SVI Исправления

SVI 7 月之前
父節點
當前提交
1d90725654
共有 1 個文件被更改,包括 4 次插入3 次删除
  1. 4 3
      docs/prolet-dialect-typing.md

+ 4 - 3
docs/prolet-dialect-typing.md

@@ -159,7 +159,7 @@
 
 Схемная валидация для сложных форматов:
 
-```list
+```lisз
 (если (проба-из дата к Схема.Пользователь)
     тогда (фикс х (= привести-из дата к Схема.Пользователь)
     иначе (ошибка "ожидалось число"))
@@ -183,8 +183,9 @@
 (// Сначала — динамически)
 (фикс данные (= запрос-API
             @шлюз-вход))
-    (если (проверить-форму данные как ФорматV1)
-        тогда ...)
+    (если (проба-из данные как Схема.ФорматV1)
+        тогда ...
+        иначе ...)
 
 (// Через месяц практики — выносим в структур)
 (структ ФорматV1