core.typed 0.2.38

[Ambrose Bonnaire-Sergeant]

Hi,

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

This release changes the ex-info annotation and allows map->Foo record constructors to omit a field if the field's type is nilable and does not contain type variables.

ann-record now properly supports a polymorphic binder as a first argument like ann-datatype. There seems to be an issue with checking the map->Foo constructor defn, so a polymorphic record's defrecord should be tc-ignore'd for now.

README

CHANGELOG

Thanks,

Ambrose