id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	difficulty
303	amb does not fail when there's no acceptable values	Jeronimo Pellegrini		"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."	defect	closed	minor		extensions		fixed	amb egg