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-114 core.logic <div class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"> <pre class="code-java">(ns test (:refer-clojure :exclude [==]) (:require [clojure.core.logic :refer :all])) (defn foo [in out] (matcha [in out] ([('and a b . ()) ('and x y . ())] (foo a x) (foo b y)) ([a ('bar ('baz a . ()) . ())]))) ;; I get a stack overflow with the following, but <span class="code-keyword">if</span> I remove one conjunct, then it will run. (run 1 [q] (foo '(and p (and p (and p (and p (and p (and p (and p (and p (and p (and p (and p p))))))))))) q))</pre> </div></div> LOGIC-114

stack overflow with conda/u

Defect Major Open Unresolved David Nolen Austin Haas Thu, 14 Feb 2013 13:15:03 -0600 Sun, 17 Mar 2013 21:02:42 -0500 0 1 <p>It looks this issue still exists even if you swap the matcha with matche</p> <p>I think the overflow is occurring during reification.</p> <p>I was getting this error when returning a result from run, but now that I'm using the same value as the input to another goal there is no overflow.</p> <p>If you replace q in the foo call with a fresh variable, it will not overflow.</p> <p>This works for me on master. Can you give me more specifics about your setup so I can try to recreate? I'm on OS X 10.8 running JDK 7 64bit.</p> <p>I don't see the issue anymore, but I believe I was using Java 1.6 when I reported it and now I am using:</p> <p>$ java -version<br/> java version "1.7.0_15"<br/> Java(TM) SE Runtime Environment (build 1.7.0_15-b03)<br/> Java HotSpot(TM) 64-Bit Server VM (build 23.7-b01, mixed mode)</p> <p>OK, thanks for the quick response, I'll double check how things look under 1.6.</p> Global Rank