[Top][All Lists]
[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.
- [Chicken-janitors] #303: amb does not fail when there's no acceptable values,
Chicken Trac <=