[Chicken-janitors] Re: #303: amb does not fail when there's no acceptable values

[Chicken Trac]

#303: amb does not fail when there's no acceptable values
-------------------------+--------------------------------------------------
  Reporter:  jeronimo    |       Owner:          
      Type:  defect      |      Status:  reopened
  Priority:  minor       |   Milestone:          
 Component:  extensions  |     Version:          
Resolution:              |    Keywords:  amb egg 
-------------------------+--------------------------------------------------
Changes (by jeronimo):

  * status:  closed => reopened
  * version:  4.6.0 =>
  * resolution:  worksforme =>


Comment:

 Hi,

 It seems that the bug is now reproducible with the master branch of
 Chicken also:

 {{{
 $ csi

 CHICKEN
 (c)2008-2010 The Chicken Team
 (c)2000-2007 Felix L. Winkelmann
 Version 4.6.0rc1
 linux-unix-gnu-x86-64 [ 64bit manyargs dload ptables ]
 compiled 2010-08-09 on newton (Linux)

 #;1> (use amb amb-extras)
 ...
 #;2> (let ((a (amb 1 2 3)) (b (amb -3 -2 -1))) (required (= (+ a b) 0))
 (list a b))
 (1 -1)
 #;3> (let ((a (amb 1 2 3)) (b (amb -3 -2 -1))) (required (= (+ a b) 10))
 (list a b))
 (2 -2)
 #;4> (let ((a (amb 1 2 3)) (b (amb -3 -2 -1))) (required (= (+ a b) 0))
 (list a b))
 (1 -1)
 #;5> (let ((a (amb 1 2 3)) (b (amb -3 -2 -1))) (required (= (+ a b) 0))
 (required (even? a)) (list a b))
 (2 -2)
 #;6> (let ((a (amb 1 2 3)) (b (amb -3 -2 -1))) (required (= (+ a b) 50))
 (required (even? a)) (list a b))
 (2 -2)
 }}}

 This is fc8d57e897df9eefd638b9358250fbd3069c70f9 from git master; I have
 reinstalled amb before running these tests.

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