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-69 core.logic <div class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"> <pre class="code-java">(prep {:a {:b ?c} :d ?d})</pre> </div></div> <p>?c is not walked according to Kevin Lynagh. This should also handle complex map keys.</p> LOGIC-69

prep does not properly recurse terms

Defect Major Resolved Completed David Nolen David Nolen Mon, 19 Nov 2012 12:42:19 -0600 Wed, 21 Nov 2012 08:57:52 -0600 Wed, 21 Nov 2012 08:57:52 -0600 0 1 <p>Also available here: <a href="https://github.com/lynaghk/core.logic/tree/walk-recursive">https://github.com/lynaghk/core.logic/tree/walk-recursive</a></p> <p>This patch adds prewalk recursion to IWalkTerm for map/record keys and values, seqs, and vectors.<br/> Note that logic vars within map keys isn't going to unify in the current implementation, and probably isn't a sensible thing to do anyway. Prewalk of map keys is just so that people can use core.logic's walk implementation over clojure.walk to use the IUninitialized protocol.</p> <p>(Patch updated to walk map keys. I couldn't figure out how to remove old patch in JIRA.)</p> <p>fixed, <a href="http://github.com/clojure/core.logic/commit/bd65104ec3fda79790655d4be8a9be436f2c0d54">http://github.com/clojure/core.logic/commit/bd65104ec3fda79790655d4be8a9be436f2c0d54</a></p> Global Rank Patch Code and Test