Clojurians Log v2

There's an example in spec-alpha2's wiki to illustrate select from a literal schema with unqualified keys:

(gen/sample (s/gen (s/select {:a int? :b keyword?} [:a])) 5)
;;=> ({:b :C, :a -1}
;;    {:b :f_/s!, :a -1}
;;    {:b :J8.M+/+88, :a -1}
;;    {:a -2}
;;    {:b :IEcw.l?/X, :a -1})

(gen/sample (s/gen (s/select {:a int? :b keyword?} [:a])) 5)
Error printing return value (ExceptionInfo) at clojure.test.check.generators/fn (generators.cljc:435).
Couldn't satisfy such-that predicate after 100 tries.

yeah, there's a bug in this area

I am sure you have already seen this, but unqualified keys are not being looked at for closed specs in spec-alpha2

8498f9cb352135579b6d3a0a5d15c40e5c2647ce

(s/register
  :blah/name2
  (s/resolve-spec 'clojure.core/string?))
(s/register
  :blah/Object2
  (s/resolve-spec
    `(s/schema {:name :blah/name2})))
(s/explain :blah/Object2 {:name "hi"} )
;-> Success!
(s/explain :blah/Object2 {:name "hi"} {:closed #{:blah/Object2}})
;-> {:name "hi"} - failed: (subset? (set (keys %)) #{}) spec: :blah/Object2

Creating Specs Programmatically is so pleasant. I have really been enjoying spec-alpha2.

I'm sure there are any number of bugs in the newer stuff right now, it's not done

yep I was just checking if it would be valuable to report it. Thanks for the awesome work.