将IDisunifyTerms扩展到LCons时，会在lcons值上调用seq。LCons没有实现ISeq

Question

我对这个问题没有很好的复现案例，我在执行其他代码时遇到了这个问题。

大约在master的2332行左右，你有这样的代码

`
(cond
...

 (lcons? v)
  (loop [u u v (seq v) cs cs]

...
)
`

这显然是不正确的，因为任何返回true给lcons?的东西，在你调用seq时都会抛出一个异常。

Answer 1

评论者：hiredman

看起来是http://dev.clojure.org/jira/browse/LOGIC-174的重复问题。

Answer 2

相关：https://clojure.atlassian.net/browse/LOGIC-183（由hiredman报告）