Skip to content

Bug with non-conforming spec #19

@mattiasw2

Description

@mattiasw2

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)

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions