[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-janitors] #1068: Possible regression: kanren: Error: unboun
|
From: |
Chicken Trac |
|
Subject: |
Re: [Chicken-janitors] #1068: Possible regression: kanren: Error: unbound variable: move1330613308 |
|
Date: |
Sun, 15 Dec 2013 15:31:52 -0000 |
#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
Resolution: | Keywords: kanren
----------------------+-----------------------------------------------------
Comment(by sjamaan):
This attempt causes kanren to break in another place. I'm unsure whether
I introduced a new bug, or this just exposes a deeply-hidden other bug.
Here's a trivial testcase that now breaks:
{{{
#!scm
(letrec ((bar (lambda (x) (if x 1 (bar bar)))))
(bar #f))
}}}
The simplified "core" version of same:
{{{
#!scm
(let ((outer-bar (##core#undefined)))
(let ((inner-bar (lambda (x) (if x '1 (outer-bar outer-bar)))))
(set! outer-bar inner-bar)
(outer-bar '#f)))
}}}
--
Ticket URL: <http://bugs.call-cc.org/ticket/1068#comment:3>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.