Hi! clojure.spec.test.alpha/check silently ignores symbols which are not "checkable". This seems counter-intuitive to me because I'd expect it to fail when I call check on a symbol and the symbol does not have an associated spec (e.g. it is misspelled).

the definition of check looks like this:

(defn check ([] (check (checkable-syms))) ([sym-or-syms] (check sym-or-syms nil)) ([sym-or-syms opts] (->> (collectionize sym-or-syms) (filter (checkable-syms opts)) (pmap #(check-1 (sym->check-map %) opts)))))

it seems to me that the (filter (checkable-syms opts)) might better go to the no-arg variant

does this make sense?

File a jira

ok, tnx!

Hi, is there any good way to xform spec’s :problems into something that could make sense for a human over a json api?

is there a rationalization why aliased specs can't be overwritten in spec1?

(s/def :user/foo string?)
(s/def :user/bar :user/foo) ;;alias
(s/exercise :user/bar 1 {:user/bar #(s/gen #{"quux"})}) ;;=> (["" ""])
(s/exercise :user/bar 1 {:user/foo #(s/gen #{"quux"})}) ;;=> (["quux" "quux"])

(s/def :user/bar string?) ;;not alias
(s/exercise :user/bar 1 {:user/bar #(s/gen #{"quux"})}) ;;=> (["quux" "quux"])

Sticking generator on the spec at s/def time works, but I'd like to avoid nailing generator to spec.

Override for alias with custom generator works though:

(s/def :user/foo string?)
(s/def :user/bar (s/with-gen :user/foo #(s/gen #{"bar"})))
(s/exercise :user/bar 1)
=> (["bar" "bar"])
(s/exercise :user/bar 1 {:user/bar #(s/gen #{"quux"})})
=> (["quux" "quux"])

it’s a bug

there’s a ticket for it

doh

should I wait for spec2? or spec 1 gets things fixed too?

hard to say right now

I think I actually fixed it already in spec 2, but I haven’t tested it explicitly

but no release of spec 2 yet

do you have any guestimate for closest spec2 release?

2019

;)