在检查内覆盖函数规范

Question

希望在检查的作用域内能够覆盖一个函数规范。

例如


(require '[clojure.spec.alpha :as s])
(require '[clojure.spec.test.alpha :as stest])

(defn a [x])

(s/fdef a
        :args (s/cat :x int?)
        :fn (fn [_] true))

(s/fdef b
        :args (s/cat :x int?)
        :fn (fn [_] false))

;; 应该通过
(stest/check `a)

(stest/instrument `a {:spec {`a `b}})
;; 应该失败
(stest/check `a)

;; 相似应失败的情况

(stest/instrument `a {:spec {`a (s/fspec :args (s/cat :x int?) :fn (fn [_] false))}})
(stest/check `a)

(stest/instrument `a {:spec {`a (s/get-spec `b)}})
(stest/check `a)

Answer 1

参考：https://clojure.atlassian.net/browse/CLJ-2193 (来自 grzm 的报告)