clojure.spec: 对于 coll-of 的 explain 应有解析后的符号

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


其他示例


;; 与每个一样
(::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 选项正确地生成了解析后的 :preds。

*补丁:* clj-2168.patch

Answer 1

评论者：sohta

与 {{s/every}} 一样出现问题。

Answer 2

_评论者：sohta_

哦，对不起。我是指 {{s/every-kv}}，而不是 {{s/every}}。

顺便说一下，经过对此处问题的调查，我发现其他一些 spec 宏在解释数据中放置了不一致的 {{:pred}} 形式。

例如，

{{(s/explain-data (s/tuple integer?) [])}} => {{(clojure.core/= (clojure.core/count %) 1)}}
{{(s/explain-data (s/& 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（由 ikitommi 提出）