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-72 core.logic <p>Unification fails for partial-map when there is a partial match on a sub-map.</p> <p>A failing test case:</p> <div class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"> <pre class="code-java">(is (= '[#clojure.core.logic.PMap{:a {:b 2}}] (run* [q] (fresh [pm x] (== (partial-map {:a {:b x}}) pm) (== {:a {:b 2 :c 3}} pm) (== q pm)))))</pre> </div></div> LOGIC-72

Unification with partial-map fails when a map contains a map value with extra keys

Defect Major Resolved Declined David Nolen Hugo Duncan Thu, 22 Nov 2012 23:03:35 -0600 Fri, 23 Nov 2012 15:58:44 -0600 Fri, 23 Nov 2012 15:58:44 -0600 0 0 <p>As mentioned by Kevin Lynagh, this can be achieved using walk-term, and I agree the behaviour is better off being explicit.</p> <div class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"> <pre class="code-java">(defn -&gt;pmap [x] (<span class="code-keyword">if</span> (map? x) (l/partial-map x) x)) (l/unifier target (-&gt;pmap (l/walk-term my-map -&gt;pmap)))</pre> </div></div> <p>having partial-map implicitly recurse is undesirable. It's easy to achieve the desired behavior now that we have a reusable walk-term built into core.logic.</p> Global Rank Patch Code and Test