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-54 core.logic <p>A check is absent in unify-with-set that would check for missing values in addition to missing lvars. The incorrect behavior is shown below:</p> <div class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"> <pre class="code-java">user&gt; (run* [out] (== #{out} #{1})) (1) user&gt; (run* [out] (== #{1} #{out})) ()</pre> </div></div> <p>The attached patch includes a similar test to the above and was run against the HEAD as of this posting.</p> LOGIC-54

Set unification does not operate symmetrically

Defect Major Resolved Completed David Nolen Aaron Brooks Fri, 21 Sep 2012 14:51:14 -0500 Thu, 27 Sep 2012 21:38:33 -0500 Thu, 27 Sep 2012 21:38:33 -0500 0 1 <p>Thanks for the report will look into it.</p> <p>fixed, <a href="http://github.com/clojure/core.logic/commit/cdc4bf8563e9f566cc6e3e0e4f8a7735cd92b88e">http://github.com/clojure/core.logic/commit/cdc4bf8563e9f566cc6e3e0e4f8a7735cd92b88e</a></p> Global Rank Patch Code and Test