Greetings!  Typo in my previous note:

Camm Maguire <c...@maguirefamily.org> writes:

> the boolean test (e.g (if (car x) (listp x) t) -> t).  There must be

should read

(e.g (if (consp x) (listp x) t) -> t)

(progn (car x) (listp x)) -> t at safety 0.  But currently due to the
lack of reverse handling, (prog1 (listp x) (car x)) does not so
simplify.

Take care,
-- 
Camm Maguire                                        c...@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah

Reply via email to