[ANN] core.typed.checker.jvm 0.7.1 and other core.typed.* releases

[Ambrose Bonnaire-Sergeant]

Hi,

Recently (over the last 4 months) there's been some further work in splitting up core.typed into smaller repos, and fixing some bugs in the analyzer.

There are a few new core.typed.* releases/libraries involving these minor changes (common case is just to bump checker.jvm and/or runtime.jvm).

checker.jvm 0.7.1 (Dependency info, Changes)

- split out :lang machinery to core.typed.lang.jvm

- bump analyzer.jvm, which adds a dependency on core.typed.lib.clojure

runtime.jvm 0.7.1 (Dependency info, Changes)

- split out core Clojure annotations to core.typed.lib.clojure

analyzer.jvm 0.7.1 (Dependency info, Changes)

- fix some bugs

- add succinct type checker example as a test

[New] lang.jvm 0.7.0 (Dependency info)

- includes the :lang machinery split out from checker.jvm

[New] lib.clojure 0.7.0 (Dependency info)

- includes annotations for core Clojure split out from core.typed.runtime.jvm.

Thanks,

Ambrose

[Didier]

Love it!