0xMiden / 0xMiden/air-script

Treatment of duplicate integrity constraints

未關閉
#275 4 則留言 0 個 reaction 已指派 0 人 在 GitHub 檢視
good first issue
主要語言
Rust
星號
96
分支
39
PR 合併指標
30 天內沒有已合併 PR

描述

Currently we don't throw an error if a user defines duplicate constraints, we transpile them into two equivalent constraints. We could do one of the following:

1. Generate only one constraint in this case and ignore duplicates.
2. Throw an error since this is most likely unintended.
3. Throw a warning (in future) but still generate one constraint.

貢獻指南

開啟貢獻指南

評估

這個 Issue 還沒有評估資料。

把新 issue 寄到你的電子郵件信箱

精選適合新手參與的 GitHub issue 摘要。