What is the right way to spec functions that can throw exceptions? It seems like I need to allow :ret to be nil to handle exceptions here

If there is an exception there is no return value

Exceptions are not covered by spec

Because they are ... exceptional cases

hai all, how do we handle ordering with spec?

you’ll need to explain more, not sure what you mean

(s/and sorted? ...)?

(not the clojure.core/sorted?)

Is this expected?

(let [n 2
      t int?]
  (s/conform (s/coll-of t :into [] :kind vector? :count n) [1 2]))
=> [1 2]

(let [n nil
      t int?]
  (s/conform (s/coll-of t :into [] :kind vector? :count n) [1 2]))
=> :clojure.spec.alpha/invalid

(let [t int?]
  (s/conform (s/coll-of t :into [] :kind vector? :count nil) [1 2]))
=> [1 2]

I guess this line is responsible. https://github.com/clojure/spec.alpha/blob/master/src/main/clojure/clojure/spec/alpha.clj#L541

I just wonder if this is a bug, or if the s/every macro is meant to check the 'n symbol rather than what it evals to.

I think I’d call it a bug, given the docstring states that nil is the default which seems to imply you could pass it

feel free to file a jira

Ok, will do. Thanks