ClassCastException

[clj-commons]

ClassCastException

[jonase]

Hi, and thanks for the report!

Kibit fails when trying to analyze this line. Similar, but simpler, expressions will also fail:

(use 'jonase.kibit.core)
(def rule '[(apply str (interpose ?x ?y)) (clojure.string/join ?x ?y)])
(def expr '(apply str (interpose " " #{(:tag attr-val)})))
(unify expr rule)

(def rule2 '[(do ?x) ?x])
(def expr2 '(do #{1}))
(unify expr2 rule2)

both attempts to use jonase.kibit.core/unify above results in a ClassCastException.

The problem seems to be core.logic and (non-empty) literal sets as seen below:

user=> (use 'clojure.core.logic)
nilWARNING: == already refers to: #'clojure.core/== in namespace: user, being replaced by: #'clojure.core.logic/==

user=> (unifier '(?x) '(#{}))
({}) ;; Note, not (#{})!
user=> (unifier '(?x) '(#{1}))
IllegalArgumentException Don't know how to create ISeq from: java.lang.Long  clojure.lang.RT.seqFrom (RT.java:487)

user=> (unifier '(?x) '([]))
([])
user=> (unifier '(?x) '([1]))
([1])

I'll have to ask @swannodette for help about this issue.

Edit: Also, at a lower level:

user=> (run* [q] (== q #{1}))
IllegalArgumentException Don't know how to create ISeq from: java.lang.Long  clojure.lang.RT.seqFrom (RT.java:487)

user=> (run* [q] (== q #{}))
({})

[semperos]

Understood; thanks for investigating this further. Interested to see what @swannodette has to say.

[swannodette]

Noted, http://dev.clojure.org/jira/browse/LOGIC-32

Will look into it.

[swannodette]

Was a bug in how core.logic dealt with sets. Fixed in 0.6.8.

[semperos]

Thanks @swannodette .

@jonase looking forward to another release of Kibit to include core.logic 0.6.8. Until then, lein install it is.

[semperos]

I can confirm that for the most recent version of my code base completes fine after bumping core.logic to 0.6.8, and that the two tests in kibit pass as well.

[jonase]

I updated kibit to core.logic 0.6.8 -- thanks @swannodette