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-60 core.logic <p>This ports over the simple unifier (and prep and binding-map) as well as the partial-map support into ClojureScript. Additionally some deprecated protocol use was patched up.</p> LOGIC-60

Simple unification and partial-map support for ClojureScript

Enhancement Major Resolved Completed Paul deGrandis Paul deGrandis Thu, 25 Oct 2012 09:41:29 -0500 Fri, 26 Oct 2012 00:40:52 -0500 Fri, 26 Oct 2012 00:40:52 -0500 0 0 <p>This looks great but could we copy over the related tests for simple unification and partial map unification? You can run these with script/test. Thanks.</p> <p>I promise to write tests from now on <img class="emoticon" src="http://dev.clojure.org/jira/images/icons/emoticons/wink.gif" height="20" width="20" align="absmiddle" alt="" border="0"/></p> <p>I patched up one bug, noted the failing unification for partial-map (I will open a new ticket for it).</p> <p>Also, prep is failing on some JS Object because of a with-meta call. See the tests for the cases where that happens. I couldn't figure it out, but I haven't hit this in my project code (I'm doing extremely simple unification and binding-map stuff).<br/> I'll open up a new ticket for that as well.</p> <p>===<br/> edit: take version 3 - removed print statements I left in the test file</p> <p>fixed, <a href="http://github.com/clojure/core.logic/commit/e33668ff0bd76aded94b7911e498c62473e47a6f">http://github.com/clojure/core.logic/commit/e33668ff0bd76aded94b7911e498c62473e47a6f</a></p> Global Rank