問題タブ [clojure.spec]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
clojure - Clojure Specと「100回試行した後、そのような述語を満たすことができませんでした...」
::givee
aと aがあるとしましょう::giver
:
そのフォームはunq/gift-pair
:
そして、次の aがあり:unq/gift-history
ます。vector
unq/gift-pair
最後に、次のいずれかを置き換えたいとし:unq/gift-pair
ますvector
。
すべて正常に動作します:
私がそれを試みるまでstest/check
:
ベクトル数を制限するために使用しようとしs/int-in
ましたが(それが問題かもしれないと考えています)、成功しませんでした。
(stest/check `set-gift-pair-in-gift-history)
正しく実行する方法についてのアイデアはありますか?
ありがとうございました。