Формат не кроме Сумма: Десятичный

Question

Я писал над простым платежным договором и заметил, что получаю предупреждение:

Мы можем анализировать только вызовы в format formatting {string, integer, bool} (не количество)

Ниже мой код, я понял, что если я удалю параметр количества в нижней части моего кода, я больше не получу предупреждение ... есть ли способ отрегулировать его?

  (defun pay (from:string to:string amount:decimal)
    (with-read payments-table from { "balance":= from-bal, "keyset":= keyset }
      (enforce-keyset keyset)
      (with-read payments-table to { "balance":= to-bal }
        (enforce (> amount 0.0) "Negative Transaction Amount")
        (enforce (>= from-bal amount) "Insufficient Funds")
        (update payments-table from
                { "balance": (- from-bal amount) })
        (update payments-table to
                { "balance": (+ to-bal amount) })
        (format "{} paid {}" [from to] ))))

)

Answer 1

В настоящее время система проверки свойств Pact не поддерживает анализ форматирования десятичных чисел.Ваш пример, как написано, на самом деле должен быть в порядке, но если мы посмотрим на пример простого платежа , он включает в себя следующую строку: (format "{} paid {} {}" [from to amount]), где amount - это decimal.

Есливам нужно проверить свойства кода следующим образом: проще всего было бы использовать integer вместо decimal, поскольку мы можем анализировать форматирование целых чисел.

В настоящее время мы не можем анализировать форматирование целых чиселпо технической причине , которая должна быть исправлена.