[Chicken-hackers] [PATCH] Types database entry for NOT is wrong

[Peter Bex]

Hi all,

I found this entry in types.db with the help of Aubrey Jaffer's r4rs tests
which I'm refactoring to use the test egg, for the numbers egg:

(not (#(procedure #:pure) not (*) boolean)
     (((not boolean)) (let ((#(tmp) #(1))) '#t)))

This innocuous-looking entry is actually wrong; anything that's not a
boolean is considered to be true, so inverting it with NOT should result
in #f, not #t!

Cheers,
Peter
-- 
http://sjamaan.ath.cx
--
"The process of preparing programs for a digital computer
 is especially attractive, not only because it can be economically
 and scientifically rewarding, but also because it can be an aesthetic
 experience much like composing poetry or music."
                                                        -- Donald Knuth

0001-Types-database-fix-for-any-x-that-s-not-f-not-x-f-so.patch
Description: Text document