core.typed 0.3.17 - Fix dependency bug (disables AOT), new internal contract system

[Ambrose Bonnaire-Sergeant]

Hi,

[org.clojure/core.typed "0.3.17"]

Unfortunately 0.3.{15-16} were duds (thanks to Nathan Sorenson and others for the report). The continuous integration needs to be extended to test for these environmental problems.

0.3.17 removes AOT compiled files (yet again!) until we can figure out the safest way to include them. 

If you're interested in the details behind the gradual typing contract generation, the clojure.core.typed.contract namespace now contains a slightly documented contract system a la racket/contract. It will be integrated into the type system soon.

CHANGELOG

README

Thanks,

Ambrose