core.logic

The extension of IDisunifyTerms to LCons calls seq on lcons values. LCons doesn't implement ISeq

Details

  • Type: Defect Defect
  • Status: Open Open
  • Priority: Major Major
  • Resolution: Unresolved
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
    None

Description

I don't have a good repro case for this, I hit the issue in the middle of some other code.

on like 2332 or so of master you have some code like:

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

This is obviously incorrect, because anything that returns true to lcons? will throw an exception with you call seq on it.

Activity

Hide
Kevin Downey added a comment -
Show
Kevin Downey added a comment - looks like a dupe of http://dev.clojure.org/jira/browse/LOGIC-174

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated: