Re: [Chicken-users] amb egg bug/confusion

[John Cowan]

Alan Post scripsit:

>   (pretty-print (let ((s (amb 0 1 2))) (amb-collect s)))

You're assuming that the result of amb is an "amb object" that you
can bind to a variable, but that's not how amb works.  It provides
a non-linear flow of control in the evaluation of its arguments, but
once it terminates, it returns the single value produced by the first
non-failing argument, in this case 0.

-- 
Go, and never darken my towels again!           John Cowan
        --Rufus T. Firefly                      http://ccil.org/~cowan