[Chicken-janitors] #1068: Possible regression: kanren: Error: unbound variable: move1330613308

[Chicken Trac]

#1068: Possible regression: kanren: Error: unbound variable: move1330613308
---------------------+------------------------------------------------------
 Reporter:  mario    |       Owner:       
     Type:  defect   |      Status:  new  
 Priority:  major    |   Milestone:  4.9.0
Component:  unknown  |     Version:  4.8.x
 Keywords:  kanren   |  
---------------------+------------------------------------------------------
 Steps to reproduce:

 {{{
 $ wget https://github.com/mario-goulart/chicken-
 benchmarks/raw/master/progs/kanren.scm

 $ csc kanren.scm

 $ ./kanren
 Testing eigen
 eigens: (!x_!$gen$!x3 !y_!$gen$!x4)
 Testing test-unify/pairs-oleg1
 Testing test-unify/pairs-oleg2
 Testing test-unify/pairs-oleg3
 Testing test-unify/pairs-oleg4
 Testing test-unify/pairs-oleg5
 Testing test-unify/pairs-oleg6
 Testing test-unify/pairs-oleg7
 Testing test-unify/pairs-oleg8
 Testing test-unify/pairs-oleg8
 Testing test-unify/pairs-oleg10
 Testing test-unify/pairs-oleg11
 Testing test-pathological
 ((y0.0 _.0) (y1.0 (f _.0 _.0)) (x1.0 (f _.0 _.0)))

 ((y0.0 _.0) (y2.0 (f (f _.0 _.0) (f _.0 _.0))) (y1.0 (f _.0 _.0)) (x2.0 (f
 (f _.0 _.0) (f _.0 _.0))) (x1.0 (f _.0 _.0)))

 ((y0.0 _.0) (y4.0 (f (f (f (f _.0 _.0) (f _.0 _.0)) (f (f _.0 _.0) (f _.0
 _.0))) (f (f (f _.0 _.0) (f _.0 _.0)) (f (f _.0 _.0) (f _.0 _.0))))) (y3.0
 (f (f (f _.0 _.0) (f _.0 _.0)) (f (f _.0 _.0) (f _.0 _.0)))) (y2.0 (f (f
 _.0 _.0) (f _.0 _.0))) (y1.0 (f _.0 _.0)) (x4.0 (f (f (f (f _.0 _.0) (f
 _.0 _.0)) (f (f _.0 _.0) (f _.0 _.0))) (f (f (f _.0 _.0) (f _.0 _.0)) (f
 (f _.0 _.0) (f _.0 _.0))))) (x3.0 (f (f (f _.0 _.0) (f _.0 _.0)) (f (f _.0
 _.0) (f _.0 _.0)))) (x2.0 (f (f _.0 _.0) (f _.0 _.0))) (x1.0 (f _.0 _.0)))
 Testing length-of-subst
 Testing test-father0
 Testing test-child-of-male-0
 Testing test-child-of-male-1
 Testing test-father-1
 Testing test-father-2
 Testing test-father-3
 Testing test-father-4
 Testing test-father-5
 ((#(lv x) . sal))
 ((#(lv x) . pat))
 Testing test-father-6/solve
 Testing test-father-7/solution
 Testing test-conscientious-parents
 Testing test-grandpa-sam-1
 Testing test-grandpa-sam-1
 Testing test-child-1
 Testing test-grandpa-1
 Testing test-grandpa-maker-2
 Testing test-grandpa-5
 Testing test-grandpa-55
 Testing test-grandpa-8
 Testing test-grandpa-10
 Testing test-grandpa-10-1
 Testing test-grandpa-10
 Testing test-grandpa-10-1
 Testing test-grandpa-10-soft-cut
 Testing test-no-grandma-grandpa-1
 Testing test-partially-eval-sgl
 Testing test-pred1
 Testing test-pred2
 Testing test-pred3
 Testing test-Seres-Spivey

 Error: unbound variable: move1330613308

         Call history:

         kanren.scm:2761: g14183
         kanren.scm:2763: subst-in
         kanren.scm:269: var?
         kanren.scm:2763: nonvar!
         kanren.scm:2132: var?
         kanren.scm:2763: g14194
         kanren.scm:2759: g14309
         kanren.scm:2759: g14307
         kanren.scm:2764: g14216
         kanren.scm:2764: succeed
         kanren.scm:2764: g14214
         kanren.scm:970: k
         kanren.scm:2764: g14212
         kanren.scm:2764: g14236
         kanren.scm:2764: g14234
         kanren.scm:2767: move           <--
 }}}

 Works fine if compiled with 4.8.0.5

-- 
Ticket URL: <http://bugs.call-cc.org/ticket/1068>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.