id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
1068	Possible regression: kanren: Error: unbound variable: move1330613308	Mario Domenech Goulart		"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"	defect	closed	major	4.9.0	unknown	4.8.x	fixed	kanren