2024 Clojure 状态调查!(英文)中分享您的想法!

欢迎!有关如何使用本站的信息,请参阅关于页面。

+5
规范
重标记

(s/explain-data (s/coll-of any? :count 1) (range)) 发生挂起。

coll-prob 实现有以下行

(cond
  ...
  (c/and count (not= count (bounded-count count x)))
  [{:path path :pred `(= ~count (c/count ~'%)) :val x :via via :in in}]
  ...)

因此,对于所有非计数的集合,如果其中包含的元素数量大于 count,则此分支永远不会被触发。
也许它应该使用 (bounded-count (inc count) x) 代替?

1 答案

+1
...