Hi,
A brief but highly visible release of core.typed: types and forms in error
messages are abbreviated where possible.
See the changelog and check-ns docstring for details.
In a nutshell:
fire.main=> (check-ns 'fire.simulate)
...
Type Error (fire.simulate:72) Expected type: Grid
Actual: (CompleteHMap {:rows (U Long (Value 100)), :grid (APersistentVector
(IPersistentVector State)), :history [], :cols (U Long (Value 100))})
in: {:history [], :grid (clojure.core/vec #), :rows rows, :cols cols}
...
fire.main=> (require '[clojure.core.typed :as typed])
nil
fire.main=> (binding [*typed/*verbose-forms* true, typed/*verbose-types*
true*] (check-ns 'fire.simulate))
...
Type Error (fire.simulate:72) Expected type: fire.simulate/Grid
Actual: (CompleteHMap {:rows (U java.lang.Long (Value 100)), :grid
(clojure.lang.APersistentVector (clojure.lang.IPersistentVector
fire.simulate/State)), :history [], :cols (U java.lang.Long (Value 100))})
in: {:history [], :grid (clojure.core/vec (let* [iter__170__auto__
(clojure.core.typed/ann-form* (fn* iter__19706 ([s__19707] (new
clojure.lang.LazySeq (fn* ([] (clojure.core.typed/loop>-ann ((fn* ([]
(loop* [s__1970721240 s__19707] (let* [temp__4092__auto__ (clojure.core/seq
s__1970721240)] (if temp__4092__auto__ (let* [s__1970721241
temp__4092__auto__] (if (clojure.core/chunked-seq? s__1970721241) (let*
[c__168__auto__ (clojure.core/chunk-first s__1970721241) size__169__auto__
(clojure.lang.RT/intCast (clojure.lang.RT/count c__168__auto__)) b__19709
(clojure.core.typed/ann-form* (clojure.core/chunk-buffer size__169__auto__)
(quote (clojure.lang.ChunkBuffer (IPersistentVector State))))] (if
(clojure.core.typed/loop>-ann ((fn* ([] (loop* [i__19708
(clojure.lang.RT/longCast (clojure.lang.RT/intCast 0))] (if
(clojure.lang.Numbers/lt i__19708 size__169__auto__) (let* [row
(clojure.lang.RT/nth c__168__auto__ i__19708)] (do
(clojure.core/chunk-append b__19709 (clojure.core.typed/ann-form*
(clojure.core/vec (let* [iter__170__auto__ (clojure.core.typed/ann-form*
(fn* iter__19714 ([s__19715] (new clojure.lang.LazySeq (fn* ([]
(clojure.core.typed/loop>-ann ((fn* ([] (loop* [s__1971521242 s__19715]
(let* [temp__4092__auto__21243 (clojure.core/seq s__1971521242)] (if
temp__4092__auto__21243 (let* [s__1971521244 temp__4092__auto__21243] (if
(clojure.core/chunked-seq? s__1971521244) (let* [c__168__auto__21245
(clojure.core/chunk-first s__1971521244) size__169__auto__21246
(clojure.lang.RT/intCast (clojure.lang.RT/count c__168__auto__21245))
b__19717 (clojure.core.typed/ann-form* (clojure.core/chunk-buffer
size__169__auto__21246) (quote (clojure.lang.ChunkBuffer State)))] (if
(clojure.core.typed/loop>-ann ((fn* ([] (loop* [i__19716
(clojure.lang.RT/longCast (clojure.lang.RT/intCast 0))] (if
(clojure.lang.Numbers/lt i__19716 size__169__auto__21246) (let* [col
(clojure.lang.RT/nth c__168__auto__21245 i__19716)] (do
(clojure.core/chunk-append b__19717 (clojure.core.typed/ann-form* (state-fn
[row col]) (quote State))) (recur (clojure.lang.Numbers/unchecked_inc
i__19716)))) true))))) (quote ((U Long Integer)))) (clojure.core/chunk-cons
(clojure.core/chunk b__19717) (iter__19714 (clojure.core/chunk-rest
s__1971521244))) (clojure.core/chunk-cons (clojure.core/chunk b__19717)
nil))) (let* [col (clojure.core/first s__1971521244)] (clojure.core/cons
(state-fn [row col]) (iter__19714 (clojure.core/rest s__1971521244))))))
nil)))))) (quote ((clojure.core.typed/Option (clojure.lang.Seqable
AnyInteger)))))))))) (quote [(clojure.core.typed/Option
(clojure.lang.Seqable AnyInteger)) -> (clojure.lang.LazySeq State)]))]
(iter__170__auto__ (clojure.core/range cols)))) (quote (IPersistentVector
State)))) (recur (clojure.lang.Numbers/unchecked_inc i__19708)))) true)))))
(quote ((U Long Integer)))) (clojure.core/chunk-cons (clojure.core/chunk
b__19709) (iter__19706 (clojure.core/chunk-rest s__1970721241)))
(clojure.core/chunk-cons (clojure.core/chunk b__19709) nil))) (let* [row
(clojure.core/first s__1970721241)] (clojure.core/cons (clojure.core/vec
(let* [iter__170__auto__ (clojure.core.typed/ann-form* (fn* iter__19731
([s__19732] (new clojure.lang.LazySeq (fn* ([]
(clojure.core.typed/loop>-ann ((fn* ([] (loop* [s__1973221247 s__19732]
(let* [temp__4092__auto__21248 (clojure.core/seq s__1973221247)] (if
temp__4092__auto__21248 (let* [s__1973221249 temp__4092__auto__21248] (if
(clojure.core/chunked-seq? s__1973221249) (let* [c__168__auto__
(clojure.core/chunk-first s__1973221249) size__169__auto__
(clojure.lang.RT/intCast (clojure.lang.RT/count c__168__auto__)) b__19734
(clojure.core.typed/ann-form* (clojure.core/chunk-buffer size__169__auto__)
(quote (clojure.lang.ChunkBuffer State)))] (if
(clojure.core.typed/loop>-ann ((fn* ([] (loop* [i__19733
(clojure.lang.RT/longCast (clojure.lang.RT/intCast 0))] (if
(clojure.lang.Numbers/lt i__19733 size__169__auto__) (let* [col
(clojure.lang.RT/nth c__168__auto__ i__19733)] (do
(clojure.core/chunk-append b__19734 (clojure.core.typed/ann-form* (state-fn
[row col]) (quote State))) (recur (clojure.lang.Numbers/unchecked_inc
i__19733)))) true))))) (quote ((U Long Integer)))) (clojure.core/chunk-cons
(clojure.core/chunk b__19734) (iter__19731 (clojure.core/chunk-rest
s__1973221249))) (clojure.core/chunk-cons (clojure.core/chunk b__19734)
nil))) (let* [col (clojure.core/first s__1973221249)] (clojure.core/cons
(state-fn [row col]) (iter__19731 (clojure.core/rest s__1973221249))))))
nil)))))) (quote ((clojure.core.typed/Option (clojure.lang.Seqable
AnyInteger)))))))))) (quote [(clojure.core.typed/Option
(clojure.lang.Seqable AnyInteger)) -> (clojure.lang.LazySeq State)]))]
(iter__170__auto__ (clojure.core/range cols)))) (iter__19706
(clojure.core/rest s__1970721241)))))) nil)))))) (quote
((clojure.core.typed/Option (clojure.lang.Seqable AnyInteger))))))))))
(quote [(clojure.core.typed/Option (clojure.lang.Seqable AnyInteger)) ->
(clojure.lang.LazySeq (IPersistentVector State))]))] (iter__170__auto__
(clojure.core/range rows)))), :rows rows, :cols cols}
...
Thanks,
Ambrose
--
--
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to clojure@googlegroups.com
Note that posts from new members are moderated - please be patient with your
first post.
To unsubscribe from this group, send email to
clojure+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
---
You received this message because you are subscribed to the Google Groups
"Clojure" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to clojure+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
