Skip to content

Latest commit

 

History

History
63 lines (49 loc) · 2.39 KB

UPGRADING.md

File metadata and controls

63 lines (49 loc) · 2.39 KB
Raw

Upgrading from 0.2.x

Renamed macros

  • clojure.core.typed/def-alias renamed clojure.core.typed/defalias
  • clojure.core.typed/loop> renamed to clojure.core.typed/loop
  • clojure.core.typed/dotimes> renamed to clojure.core.typed/dotimes

Renamed and changed macros

  • clojure.core.typed/for> renamed clojure.core.typed/for
    • return type annotation now goes after the binder: (for [a :- t, i] :- r, i)
    • Deprecated binder syntax no longer works: [[a :- t] i]
  • clojure.core.typed/doseq> renamed clojure.core.typed/doseq
    • Deprecated binder syntax no longer works: [[a :- t] i]
  • clojure.core.typed/fn> renamed clojure.core.typed/fn
    • Return type now goes after the binder: (fn [a :- t] :- t, b)
  • clojure.core.typed/def> renamed clojure.core.typed/def
    • Note it is impossible to refer to a var called def
  • clojure.core.typed/defprotocol> renamed clojure.core.typed/defprotocol
    • New syntax cannot be used in conjunction with ann-protocol
  • clojure.core.typed/defn> renamed clojure.core.typed/defn
    • Return type now goes after the binder: (defn name [a :- t] :- t, b)

Changed macros

  • clojure.core.typed/ann
    • :nocheck metadata renamed to :no-check

Renamed types

  • All renamed clojure.core.typed/All
  • Any renamed clojure.core.typed/Any
  • Difference renamed clojure.core.typed/Difference
  • Fn renamed clojure.core.typed/IFn
  • HMap renamed clojure.core.typed/HMap
  • HSeq renamed clojure.core.typed/HSeq
  • HSequential renamed clojure.core.typed/HSequential
  • HVec renamed clojure.core.typed/HVec
  • I renamed clojure.core.typed/I
  • Nothing renamed clojure.core.typed/Nothing
  • predicate renamed clojure.core.typed/Pred
  • Rec renamed clojure.core.typed/Rec
  • TFn renamed clojure.core.typed/TFn
  • U renamed clojure.core.typed/U
  • Value renamed clojure.core.typed/{Value,Val}

Renamed and changed types

  • Seq* renamed to clojure.core.typed/HSeq
    • HSeq takes one argument: (Seq* Any) -> (HSeq [Any])
  • Vector* renamed to clojure.core.typed/HVec
    • HSeq takes one argument: (Vector* Any) -> (HVec [Any])

Changed type syntax

  • [& {} -> ] optional keyword argument syntax is now [& :optional {} -> ]
  • (HMap {}) mandatory key syntax is now (HMap :mandatory {})

Removed type syntax

  • :kind option for TFn and All binders is removed
    • eg. (TFn [[x :kind ...]])