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-49 core.logic <p>currently it's a bit obnoxious that map unification must be over the entire map. It would be useful to have a new datatype - partial-map <img class="emoticon" src="http://dev.clojure.org/jira/images/icons/emoticons/help_16.gif" height="16" width="16" align="absmiddle" alt="" border="0"/> this would allow us to only match part of a map instead of the whole thing. Is this unsound?</p> LOGIC-49

minimal map type for unifying only part of a map

Defect Major Resolved Completed David Nolen David Nolen Fri, 31 Aug 2012 12:09:24 -0500 Fri, 12 Oct 2012 13:52:05 -0500 Fri, 12 Oct 2012 13:52:05 -0500 0 0 <p>How do you feel about letting partial map have a value meaning "don't unify with a map that has a key here". E.g.,</p> <p>{:a ?x :b ?y} == {:a 1 :b 2 :c 3} =&gt; {:a 1 :b 2}</p> <p>but</p> <p>{:a ?x :b !_} == {:a 1 :b 2 :c 3} =&gt; nil</p> <p>My use case is doing map matching + rewrites and in some cases I don't want a partial-map to match a map that already has some keys defined.</p> <p>Sure, but this is a separate ticket. Also it should be expressible via a normal goal - not-has-keyo or some such. Once that's done we can think about sugar.</p> <p>Also on the Github: <a href="https://github.com/lynaghk/core.logic/tree/partial-map">https://github.com/lynaghk/core.logic/tree/partial-map</a></p> <p>Patch without !_ sugar.</p> <p>Add patch, not diff.</p> <p>fixed, <a href="http://github.com/clojure/core.logic/commit/9b340ea4fff2f4dad50b0f9631054e713b895fe8">http://github.com/clojure/core.logic/commit/9b340ea4fff2f4dad50b0f9631054e713b895fe8</a></p> Global Rank