http://dev.clojure.org/jira This file is an XML representation of an issue en-us 4.4 649 25-07-2011 http://dev.clojure.org/jira/browse/LOGIC-82 core.logic <p>These two snippets should both succeed, but the second one fails.</p> <div class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"> <pre class="code-java">(run 1 [q] (fresh [a c] (conso a nil c) (== `(~a) c))) ;; '(_0)</pre> </div></div> <div class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"> <pre class="code-java">(run 1 [q] (fresh [a b c] (conso a b c) (== b nil) (== `(~a) c))) ;; expected: '(_0), actual: '()</pre> </div></div> LOGIC-82

conso and seq, when unifying tail later

Defect Major Resolved Completed David Nolen Nada Amin Thu, 20 Dec 2012 20:34:44 -0600 Thu, 20 Dec 2012 23:50:14 -0600 Thu, 20 Dec 2012 23:50:14 -0600 0 0 <p>It boggles the mind how this is just being discovered <img class="emoticon" src="http://dev.clojure.org/jira/images/icons/emoticons/smile.gif" height="20" width="20" align="absmiddle" alt="" border="0"/></p> <p>Fixed, <a href="http://github.com/clojure/core.logic/commit/0c985df0236037907852f9b19c7df3ba6a607875">http://github.com/clojure/core.logic/commit/0c985df0236037907852f9b19c7df3ba6a607875</a></p> Global Rank