1.0.26

• add typed.clojure/cns
• change typed.clojure/check-ns-cljs from macro to function
• separate clojure.core and cljs.core type rules
• add minimal-clj example project to test typed.clj.checker in isolation without cljs deps
• add clojure.core/defprotocol rule for clj{s}
• add cljs.core/implements? rule for cljs
• fix filter checking for composite predicates by checking filter after inferring body filter
  • enables eg., (defn sym-or-kw? [a] (or (symbol? a) (keyword? a)))
• Breaking: remove :flow filters
  • Andrew M Kent (@pnwamk) figured out this was redundant with :filters around 2015.
• add typed.clojure.jvm for jvm annotations
  • add new op override-class -- see typed.ann.clojure.jvm for base environment using
• support clojure.core/reify in Clojure checker
• support clojure.core/satisfies? in Clojure checker
• support :extend-via-metadata (and other kw options) in defprotocol wrapper

1.0.25

• add typed.clojure/check-ns
• typed.clojure/check-ns{,-clj,cljs} no longer require the namespaces being checked to depend on a Typed Clojure namespace

1.0.24

• support more malli -> type conversions

1.0.23

• make malli schema provider extensible
  • see typed.malli.schema-to-type/register-malli->type-extension
• add spec1 type providers

1.0.22

• add clojure.java.io annotations
• fix {pos,neg,nat}-int? annotations
• rename typed.clj.malli submodule to typed.malli
• add support for type providers
• add malli var type providers (demo)
• Breaking: make t/def and t/defn never infer their types, and use t/ann to register global annotation
  • Rationale: don't allow a namespace's type checking to be dependent on another namespace checking

1.0.21

• don't check the typed.clojure namespace

1.0.20

• add lib.spec.alpha lib for spec.alpha annotations
  • includes no-op typing rules for s/def and s/fdef
• remove outdated hints on type errors
• add :unanalyzed to typed.cljs.analyzer
• add typed.clojure namespace for cross-platform use
• Breaking: vars representing special types from clojure.core.typed (eg., Any, HMap) have been removed
  • set system property clojure.core.typed.special-vars=true to restore
  • rationale: :refering these vars is not cross-platform. type resolution can work without these vars
• Breaking: defalias no longer interns vars
  • set system property clojure.core.typed.intern-defaliases=true to restore
  • rationale: poor cross-platform story. follow spec's lead with separate registry.
• Breaking: t/Seqable is now nilable
  • rationale: in practice, t/Seqable is always made nilable in annotations. It's also usually in input position, so there's little reason not to broaden.
    • t/Seqable predates clojure.core/seqable?, so now we can annotate as (t/Pred (t/Seqable t/Any))
• move shared base env to .cljc file

1.0.19

• fix bad clojure.core/boolean? annotation

1.0.18

• improve destructuring error messages for:
  • clojure.core/fn
  • clojure.core.typed/fn
• support :when/:while/:let in clojure.core/for typing rule
• create type rule for clojure.core/doseq with destructuring and support for all options
• create type rule for clojure.core/defn with improved destructuring error messages
• create type rule for clojure.core/defmethod with improved destructuring error messages
• check inlines before expansion to improve error messages
  • eg., now clojure.core/inc is appears in error messages instead of clojure.lang.RT/inc
• add typed.clj.malli project

1.0.17

• move ext.c.c.t typing rules from runtime jar to checker
• add spec{1,2} shim to prepare for spec1 support in typed.clj.spec
• add clojure.core/for typing rule with destructuring
• remove dynamic vars from uniquify analyzer pass
• add clojure.core/let typing rule
• add custom error message for vector destructuring
• add in-development typed.clj.generators namespace to typed.clj.checker