[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-hackers] [PATCH] Types database entry for NOT is wrong
From: |
Christian Kellermann |
Subject: |
Re: [Chicken-hackers] [PATCH] Types database entry for NOT is wrong |
Date: |
Sun, 18 Mar 2012 09:22:05 +0100 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
* Peter Bex <address@hidden> [120317 20:57]:
> 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!
#t...
I have pushed this, thank you Peter.
Kind regards,
Christian
--
9 out of 10 voices in my head say, that I am crazy,
one is humming.