clojure.spec: coll-of 的 explain 模块中的 :pred 应具有解析的符号

Question

{{:pred}} 应在类似以下 explain 问题中被解析：

{{s/coll-of}} 和 {{s/every-kv}} 在其值无效时，应解析 {{:pred}} 函数


(::s/problems (s/explain-data (s/coll-of (fn [x] (pos? x))) [-1]))
({:path [], :pred (fn [x] (pos? x)), :val -1, :via [], :in [0]})


应该是：


(::s/problems (s/explain-data (s/coll-of (fn [x] (pos? x))) [-1]))
({:path [], :pred (clojure.core/fn [x] (clojure.core/pos? x)), :val -1, :via [], :in [0]})


其他示例


;; every 的相同情况
(::s/problems (s/explain-data (s/every (fn [x] (pos? x))) [-1]))
({:path [], :pred (fn [x] (pos? x)), :val -1, :via [], :in [0]})

;; :distinct 选项中的 pred 没有解析
(::s/problems (s/explain-data (s/coll-of pos? :distinct true) [-1 -1]))
[{:path [], :pred distinct?, :val [-1 -1], :via [], :in []}]


map-of 和 every-kv 没有这个问题。:count、:min-count、:max-count 和 :kind 选项能够正确生成已解析的 :pred

*补丁:* clj-2168.patch

Answer 1

评论者：sohta

{{s/every}} 也存在相同的问题。

Answer 2

评论者：sohta

抱歉，我的意思是 {{s/every-kv}}，而不是 {{s/every}}。

顺便说一下，在调查了这个问题的四周之后，我发现一些其他 spec 宏在它们的 explain 数据中放置了不一致的 {{:pred}} 形式。

例如，

{{(s/explain-data (s/tuple integer?) [])}} => {{(clojure.core/= (clojure.core/count %) 1)}}
{{(s/explain-data (s/& shard integer? even?) [])}} => #function[clojure.core/integer?] (not a symbol)

我将在稍后将其作为另一个工单提交。

Answer 3

评论者：akiel

问题 https://github.com/alexanderkiel/phrase/issues/22 与此相关。

Answer 4

参考： https://clojure.atlassian.net/browse/CLJ-2168（由ikatommi报告）