Use clojure.spec instead of atom and function overwriting

[elenam]

• Make it work with multiple arguments (track arg numbers)
• Make it work with varargs
• Make it work with multiple arities
• Process the spec hashmap (instead of an atom) in exception handling
• Exception data handling
• Pretty-printing failing args
• Make it work with nilable
• Add tests, especially for multi-predicate and nilable

[real-mj-song]

[real-mj-song]

clojure.lang.ExceptionInfo: Call to #'spec-ex.spec-inte/+ did not conform to spec: :: {:clojure.spec/problems {[:args] {:pred number?, :val "", :via [], :in [4]}}, :clojure.spec/args (3 4 6 7 "")}
In: [4] val: "" fails at: [:args] predicate: number?
:clojure.spec/args (3 4 6 7 "")

Note: the message is "Call to #'spec-ex.spec-inte/+ did not conform to spec:", the rest is data.

[elenam]

Specs for core functions need to be defined before the function is redefined or in a different file.

[real-mj-song]

• For every function with inlining, we can't use spec without overwriting it.
• Put spec before a function
  -> specify conditions for the core function
• Put spec after a function
  -> specify conditions for the overwritten function

[elenam]

For nilable predicates the data is:

{:clojure.spec/problems {[:args :check-map :clojure.spec/nil] {:pred nil?, :val :s, :via [], :in [0]}, 
[:args :check-map :clojure.spec/pred] {:pred map?, :val :s, :via [], :in [0]}}, :clojure.spec/args (:s)}

[real-mj-song]

For some functions, we need to put specs after overwriting them (and we can't get the function name in this case). I think this happens in two cases.

1. When the function has different numbers of :inline-arities like #{2 3}
2. When the function has only :inline without :inline-arities