Pact lang 格式不包括金额：十进制

我正在写一份简单的付款合同，注意到我收到了警告：

我们只能分析对

format

formatting{string，integer，bool}的调用 （不包括金额）

下面是我的代码，我意识到如果我删除代码底部的amount参数，我将不再收到警告。。有办法调整吗

  (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] ))))

)

---

Pact属性检查系统目前不支持格式小数的分析。您编写的示例实际上应该没问题，但如果我们看一下，它包括以下行：

（格式“{}paid{}{}{}”[from to amount]）

，其中

amount

是一个

十进制数

如果您需要像这样检查代码的属性，最简单的方法是使用

integer

而不是

decimal

，因为我们可以分析整数的格式

我们目前无法分析应该是可修复的的的整数的格式