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-101 core.logic <p>It would be nice if nom/hash handled variable noms:</p> <div class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"> <pre class="code-java">(run* [q] (nom/fresh [x] (fresh [y] (nomo y) (nom/hash y x) (== x y)))</pre> </div></div> <p>This returns '(_0) instead of (). Fortunately, a work-around is to use != instead of nom/hash when comparing two noms. However, it's bad that this silently does something unexpected.</p> LOGIC-101

nom/hash and variable noms

Defect Major Resolved Completed David Nolen Nada Amin Mon, 7 Jan 2013 06:56:21 -0600 Mon, 7 Jan 2013 08:34:21 -0600 Mon, 7 Jan 2013 08:34:21 -0600 0 0 <p>logic-101.diff has workaround + test.</p> <p>fixed, <a href="http://github.com/clojure/core.logic/commit/770e027858bde711121abb9267854966a4dd92ed">http://github.com/clojure/core.logic/commit/770e027858bde711121abb9267854966a4dd92ed</a></p> Global Rank