chicken-janitors
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Chicken Trac
Subject: [Chicken-janitors] #303: amb does not fail when there's no acceptable values
Date: Wed, 04 Aug 2010 13:14:22 -0000

#303: amb does not fail when there's no acceptable values
------------------------+---------------------------------------------------
 Reporter:  jeronimo    |       Owner:       
     Type:  defect      |      Status:  new  
 Priority:  minor       |   Milestone:       
Component:  extensions  |     Version:  4.6.0
 Keywords:  amb egg     |  
------------------------+---------------------------------------------------
 Hi,

 It seems that amb will not fail at all when there are no acceptable
 values:

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

 ==> (3 -1)
 }}}

 As I understand, it should have failed just like (amb) without arguments
 would...

 This is version 2.1.2 of amb with Chicken 4.5.7 (experimental).

 J.

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]