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-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-63

Prep's use of metadata needs to be extended to other objects in ClojureScript

Defect Major Resolved Completed David Nolen Paul deGrandis Fri, 26 Oct 2012 12:34:18 -0500 Fri, 26 Oct 2012 17:53:04 -0500 Fri, 26 Oct 2012 17:53:04 -0500 0 1 <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