Fork me on GitHub
#clojure-nl
<
2019-09-14
>
borkdude10:09:31

I implemented some kind of type checker in clj-kondo. Any volunteers for testing? demo: https://twitter.com/borkdude/status/1172628472273035265 You can test by checking out https://github.com/borkdude/clj-kondo at the testing branch and lint random code using:

clojure -A:clj-kondo --lint <your-code> | grep Expected
The grep takes care of only displaying the type errors that clj-kondo found. Please report any false positives you may find in the smallest repro possible.

Mno10:09:17

That looks great, I’m not sure when I’ll be coding, but I’ll try it out

borkdude10:09:32

That should be the typing branch, not the testing branch