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/UNIFY-4 core.unify <div class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"> <pre class="code-java">(unify '[1 ?x] '[1]) =&gt; {?x nil}</pre> </div></div> <p>I expect this unification to fail.</p> UNIFY-4

Vectors of different length incorrectly unify

Defect Minor Resolved Completed Fogus Thomas Winant unify Wed, 8 Feb 2012 07:51:35 -0600 Fri, 25 May 2012 22:00:40 -0500 Fri, 25 May 2012 22:00:40 -0500 0 0 <p>Which version are you using?</p> <p>Version 5.2</p> <p>This is not a perfect solution, but it works as a stopgap as this will be handled in the next 0.1.0 version. For now the 0.5.3 version has been deployed and should be available on Maven Central in the next few hours.</p> Global Rank