Hi,

Current SRFI says assume returns unspecified value however it might be
convenient if it
returns the evaluated value unless the value is #f so that users can
write code like this:

(call/error (assume (assq 'a alist)))

BTW, what's the reason making this syntax/macro different name from
R6RS's assert?
c.f: http://www.r6rs.org/final/html/r6rs/r6rs-Z-H-14.html#node_idx_750
The purpose looks exactly the same (just returning different value, though)

Cheers,

--
_/_/
Takashi Kato
E-mail: ktakashi19@gmail.com