<< Back to previous view

[LOGIC-183] The extension of IDisunifyTerms to LCons calls seq on lcons values. LCons doesn't implement ISeq Created: 19/Apr/17  Updated: 19/Apr/17

Status: Open
Project: core.logic
Component/s: None
Affects Version/s: None
Fix Version/s: None

Type: Defect Priority: Major
Reporter: Kevin Downey Assignee: David Nolen
Resolution: Unresolved Votes: 0
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.



 Comments   
Comment by Kevin Downey [ 19/Apr/17 7:56 PM ]

looks like a dupe of http://dev.clojure.org/jira/browse/LOGIC-174





Generated at Mon Apr 24 14:17:03 CDT 2017 using JIRA 4.4#649-r158309.