- Remove debug printing
- Allow user to omit namespace argument to
infer-{spec,type}
- .clj{c} files with the shallowest absolute path are chosen, and the largest file size wins ties
- Support
nil
argument for:test-timeout-ms
- Add
infer-all
to generate both types and specs more efficiently
- add
:instrument-opts
option
- add
:infer-opts
option - more aggressive shutdown in
infer-{type,spec}
- Add
infer-type
andinfer-spec
- Fix CTYP-157
- pass a collection of namespaces to
check-ns
, instead of one at a time
- pass a collection of namespaces to
- Add
(shutdown-agents)
to operations (thanks Sean Corfield)
- ClojureScript uses check-ns* to check namespaces
- for core.typed 0.2.36+
- Add Clojurescript support with
check-cljs
- When type checking fails or if no namespaces provided, process exits with an error signal