Divyansh Prakash
Divyansh Prakash
``` spectrum.repl> (f/infer-form '(inc x) {:x (t/value-t "hello")}) infer 2 equations ([:eq ?x1803 [value "hello"]] [:conde! {[:eq [cat [class double]] [cat ?x1803]] [:eq ?t1804 [class double]], [:eq [cat #'clojure.core/any?] [cat...
This seems to be outdated. `spectrum.flow` compiles without warnings for me.
This looks outdated. `spectrum.check` loads fine for me, and doesn't seem to house a `fn` called `type-of`. `lein install` was successful.
is this ticket still valid? ``` spectrum.repl> (f/infer-var #'keyword) [fn {[cat ?t±897] [or [#'clojure.core/keyword? [value nil]]], [cat [or [#'clojure.core/string? [value nil]]] [or [#'clojure.core/string? [value nil]]]] [or [#'clojure.core/keyword? [value nil]]]}] ```
Adding kondo configuration would be useful.