Clojurians Log v2
Clojure programming
Channels
Apps
core-typed
Typed Clojure, an optional type system for Clojure
2020-02-28T09:25:38.099400Z
Just so you know, you have interested non-users too 🙂 This is fascinating stuff, keep up the good work!
2020-02-28T09:30:29.099600Z
Are you planning to flow these types at all, or is that out of scope just now? e.g.
$ clj-kondo --lint - <<< '(defn foo [] :foo) (let [a (foo)] (inc a))'
linting took 10ms, errors: 0, warnings: 0 2020-02-28T09:30:51.099800Z
This is great btw; I had no idea kondo was doing this stuff yet… just upgraded!
borkdude 2020-02-28T09:32:26.100Z
That is supposed to work, but I'm not sure why it doesn't in this case. I'll make an issue for it.
borkdude 2020-02-28T11:48:47.100700Z
@rickmoynihan Fixed it. Are you running linux or mac?
borkdude 2020-02-28T11:48:58.100900Z
It was a minor glitch.
borkdude 2020-02-28T11:50:04.101100Z
Anyway here is the mac binary: https://8777-176829714-gh.circle-artifacts.com/0/release/clj-kondo-2020.02.16-SNAPSHOT-macos-amd64.zip And here's the linux binary: https://8776-176829714-gh.circle-artifacts.com/0/release/clj-kondo-2020.02.16-SNAPSHOT-linux-amd64.zip
2020-02-28T12:20:47.101300Z
mac
2020-02-28T12:20:52.101500Z
wow that was quick
2020-02-28T12:21:00.101700Z
can I brew upgrade?
2020-02-28T12:21:37.101900Z
hmm looks like I can’t
borkdude 2020-02-28T12:22:02.102400Z
It’s not released yet.
2020-02-28T12:22:17.102700Z
ahh no worries 🙂
borkdude 2020-02-28T15:27:02.103Z
Released.
2020-02-28T15:49:50.103200Z
Upgraded:
$ clj-kondo --lint - <<< '(defn foo [] :foo) (let [a (foo)] (inc a))'
<stdin>:1:40: error: Expected: number, received: keyword.
linting took 47ms, errors: 1, warnings: 0