[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:  closed 
  Priority:  minor       |   Milestone:         
 Component:  extensions  |     Version:  4.6.0  
Resolution:  worksforme  |    Keywords:  amb egg
-------------------------+--------------------------------------------------
Changes (by kon):

  * status:  new => closed
  * resolution:  => worksforme


Comment:

 csi -n

 CHICKEN
 (c)2008-2010 The Chicken Team
 (c)2000-2007 Felix L. Winkelmann
 Version 4.5.6
 macosx-unix-gnu-ppc [ symbolgc manyargs dload ptables gchooks ]
 compiled 2010-07-10 on Nikko-2.local (Darwin)
 #;1> (use amb amb-extras)

 #;2> (let ((a (amb 1 2 3))
       (b (amb -1 -2 -3)))
   (required (> (+ a b) 10))
   (print (list a b)))

 Error: (amb) expression tree exhausted

         Call history:

         <eval>          (> (+ a b) 10)
         <eval>          (+ a b)
         <eval>          ((amb#amb-failure-continuation))
         <eval>          (amb#amb-failure-continuation)
         <eval>          (> (+ a b) 10)
         <eval>          (+ a b)
         <eval>          ((amb#amb-failure-continuation))
         <eval>          (amb#amb-failure-continuation)  <--

-- 
Ticket URL: <http://www.irp.oist.jp/trac/chicken/ticket/303#comment:1>
Chicken Scheme <http://www.call-with-current-continuation.org/>
Chicken Scheme is a compiler for the Scheme programming language.