arohner / spectrum

Other
593 stars 20 forks source link

Bug with non-conforming spec #19

Open mattiasw2 opened 7 years ago

mattiasw2 commented 7 years ago

Spectrum is a good initiative! Dialyzer in Erlang works, doesn't find everything, but at least improves stuff.

Minor issue

ExceptionInfo Call to #'spectrum.data/get-var-analysis did not conform to spec: val: {:init {:op :fn, :form (fake), :env {:file "bogus.clj", :line 1, :column 1}, :methods [{:variadic? false, :fixed-arity 1}]}} fails at: [:ret :clojure.spec/nil] predicate: nil? val: {:init {:op :fn, :form (fake), :env {:file "bogus.clj", :line 1, :column 1}, :methods [{:variadic? false, :fixed-arity 1}]}} fails spec: :clojure.tools.analyzer.jvm/analysis-common at: [:ret :clojure.spec/pred] predicate: (contains? % :op) val: {:init {:op :fn, :form (fake), :env {:file "bogus.clj", :line 1, :column 1}, :methods [{:variadic? false, :fixed-arity 1}]}} fails spec: :clojure.tools.analyzer.jvm/analysis-common at: [:ret :clojure.spec/pred] predicate: (contains? % :form) val: {:init {:op :fn, :form (fake), :env {:file "bogus.clj", :line 1, :column 1}, :methods [{:variadic? false, :fixed-arity 1}]}} fails spec: :clojure.tools.analyzer.jvm/analysis-common at: [:ret :clojure.spec/pred] predicate: (contains? % :env) :clojure.spec/args (#'clojure.core/in-ns) :clojure.spec/failure :instrument :clojure.spec.test/caller {:file "flow.clj", :line 376, :var-scope spectrum.flow/invoke-get-fn-analysis} clojure.core/ex-info (form-init4540736289010996272.clj:4725)

divs1210 commented 5 years ago

This seems to be outdated. spectrum.flow compiles without warnings for me.