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-77 core.logic <p>I don't know a lot about the finite domain code, but it surprised me that this crashes:</p> <div class="preformatted panel" style="border-width: 1px;"><div class="preformattedContent panelContent"> <pre>(run 1 [r a b x] (== r [a b]) (infd a b x (domain 1 2)) (&lt;fd a b) (firsto r x)) </pre> </div></div> <p>This was the most minimal example I could come up with.</p> clojure 1.5.0-beta1 with core.logic 0.8.0-beta3 LOGIC-77

Finite-domain vars inside a vector crash when constrained.

Defect Major Resolved Completed David Nolen Gary Fredericks Sat, 15 Dec 2012 16:12:52 -0600 Mon, 24 Dec 2012 18:14:34 -0600 Mon, 24 Dec 2012 18:14:34 -0600 0 1 <p>This commit <a href="http://github.com/clojure/core.logic/commit/07f2f6ac42ad13ed7476f70669b98e76a84f2455">http://github.com/clojure/core.logic/commit/07f2f6ac42ad13ed7476f70669b98e76a84f2455</a> fixes the exception. However I'm still not seeing the expected result which I believe is:</p> <div class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"> <pre class="code-java">([[1 2] 1 2 1])</pre> </div></div> <p>This is bug results from the trickiness of aliasing of logic vars in the presence of constraints. Currently when two constrained vars are unified, we point one var to the other var and migrate the constraints. However this is not enough we also need to merge their domains - this is not currently being done.</p> <p>fixed, <a href="http://github.com/clojure/core.logic/commit/d4d4cd53edfd76c2f416bd699f4b4d914f880985">http://github.com/clojure/core.logic/commit/d4d4cd53edfd76c2f416bd699f4b4d914f880985</a></p> Global Rank