Clojure JIRAhttp://dev.clojure.org/jira
This file is an XML representation of an issueen-us4.464925-07-2011[LOGIC-63] Prep's use of metadata needs to be extended to other objects in ClojureScripthttp://dev.clojure.org/jira/browse/LOGIC-63
core.logic<p>The simple unifier and binding-map work great in the simple cases, but fail with more complicated unification.<br/>
The root cause is prep's use of metadata banging up against JS Objects.</p>
<p>For the cases that fail, see the current failing tests:<br/>
<a href="https://github.com/clojure/core.logic/blob/master/src/test/cljs/cljs/core/logic/tests.cljs#L871">https://github.com/clojure/core.logic/blob/master/src/test/cljs/cljs/core/logic/tests.cljs#L871</a></p>LOGIC-63Prep's use of metadata needs to be extended to other objects in ClojureScriptDefectMajorClosedCompletedDavid NolenPaul deGrandisFri, 26 Oct 2012 12:34:18 -0500Sun, 28 Jul 2013 18:45:38 -0500Fri, 26 Oct 2012 17:53:04 -050001<p>I still don't understand. Is it failing because it's trying to add metadata to objects which don't support that? That doesn't really make sense given the unifications that are failing that you've highlighted.</p><p>That's correct - I couldn't determine what the Object was in the code. Whatever it is, it just needs the IWithMeta protocol extended to it.</p>
<p>I thought you might have more insight.</p><p>Ok will look into it.</p><p>fixed <a href="http://github.com/clojure/core.logic/commit/371c0355f51ee35c6e71616ec2923a8242d6e4b3">http://github.com/clojure/core.logic/commit/371c0355f51ee35c6e71616ec2923a8242d6e4b3</a></p>Global Rank