chicken-hackers
[Top][All Lists]
Advanced

[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.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]