On Saturday, January 5, 2013 10:02:01 PM UTC+2, David Nolen wrote:
>
> On Sat, Jan 5, 2013 at 2:44 PM, Timo Westkämper
> <[email protected]<javascript:>
> > wrote:
>
>> Here is one example
>>>>
>>>> (def l (range 0 2000))
>>>> (run* [q] (appendo l l q))
>>>>
>>>
>>> One my machine this works without a hitch. What version of core.logic
>>> are you using?
>>>
>>
>> [org.clojure/core.logic "0.8.0-beta4"]
>>
>
> I cannot reproduce this on master even if I use a larger like N=10000. If
> I pick a very large N it takes a very long time - but no stack overflow.
> Can you test this one against master and give more specific details about
> your setup? Thanks.
>
This should be with master in lein
user=> (def l (range 0 2000))
#'user/l
user=> (run* [q] (appendo l l q))
StackOverflowError clojure.core.logic.LVar (logic.clj:1307)
user=> (pst)
StackOverflowError
clojure.core.logic.LVar (logic.clj:1307)
clojure.lang.KeywordLookupSite$1.get (KeywordLookupSite.java:45)
clojure.core.logic.LVar (logic.clj:1325)
clojure.lang.Util.equiv (Util.java:32)
clojure.lang.PersistentHashMap$BitmapIndexedNode.find
(PersistentHashMap.java:601)
clojure.lang.PersistentHashMap$ArrayNode.find
(PersistentHashMap.java:370)
clojure.lang.PersistentHashMap$ArrayNode.find
(PersistentHashMap.java:370)
clojure.lang.PersistentHashMap.entryAt (PersistentHashMap.java:133)
clojure.lang.RT.find (RT.java:720)
clojure.core/find (core.clj:1432)
clojure.core.logic.Substitutions (logic.clj:1134)
clojure.core.logic/walk*/fn--2847 (logic.clj:1005)
user=> *clojure-version*
{:major 1, :minor 4, :incremental 0, :qualifier nil}
java version "1.6.0_26"
Java(TM) SE Runtime Environment (build 1.6.0_26-b03)
Java HotSpot(TM) Server VM (build 20.1-b02, mixed mode)
Default JVM options. It works with larger stack size, but it would be nice,
if this could work default settings.
Br,
Timo
>
> David
>
--
You received this message because you are subscribed to the Google
Groups "Clojure" group.
To post to this group, send email to [email protected]
Note that posts from new members are moderated - please be patient with your
first post.
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/clojure?hl=en
