We're updating the issue view to help you get more done. 

Current version of core.typed does not work with current Clojure 1.9.0-alpha11

Description

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 WARNING: boolean? already refers to: #'clojure.core/boolean? in namespace: clojure.core.typed.contract-utils, being replaced by: #'clojure.core.typed.contract-utils/boolean? Initializing core.typed ... Exception in thread "main" java.lang.IllegalArgumentException: Call to clojure.core/fn did not conform to spec: In: [0] val: clojure.core.unify/var-unify fails spec: :clojure.core.specs/arg-list at: [:args :bs :arity-1 :args] predicate: vector? In: [0] val: clojure.core.unify/var-unify fails spec: :clojure.core.specs/args+body at: [:args :bs :arity-n] predicate: (cat :args :clojure.core.specs/arg-list :prepost (? map?) :body (* any?)) :clojure.spec/args (clojure.core.unify/var-unify [G__5637 G__5638 G__5639 G__5640] (clojure.core/if-let [vb__5630__auto__ (G__5640 G__5638)] (clojure.core.unify/garner-unifiers G__5637 vb__5630__auto__ G__5639 G__5640) (clojure.core/if-let [vexpr__5631__auto__ (clojure.core/and (G__5637 G__5639) (G__5640 G__5639))] (clojure.core.unify/garner-unifiers G__5637 G__5638 vexpr__5631__auto__ G__5640) (if (clojure.core.unify/occurs? G__5637 G__5638 G__5639 G__5640) (throw (java.lang.IllegalStateException. (clojure.core/str "Cycle found in the path " G__5639))) (clojure.core.unify/bind-phase G__5640 G__5638 G__5639))))) , compiling:(clojure/core/unify.clj:83:18) at clojure.lang.Compiler.macroexpand1(Compiler.java:6795) at clojure.lang.Compiler.analyzeSeq(Compiler.java:6878) at clojure.lang.Compiler.analyze(Compiler.java:6674) at clojure.lang.Compiler.analyzeSeq(Compiler.java:6880) at clojure.lang.Compiler.analyze(Compiler.java:6674) at clojure.lang.Compiler.access$300(Compiler.java:38) at clojure.lang.Compiler$DefExpr$Parser.parse(Compiler.java:589) ...

This appears to be a consequence of following dependency tree:

1 2 3 [org.clojure/core.typed "0.3.23"] [org.clojure/core.contracts "0.0.4" :exclusions [[org.clojure/clojure]]] [org.clojure/core.unify "0.5.3"]

... that is: it's unify that's broken, being pulled in through core.contracts.

Environment

None

Status

Assignee

Ambrose BS

Reporter

lvh

Labels

Approval

None

Patch

None

Components

Fix versions

Affects versions

0.3.23

Priority

Blocker