[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-hackers] [PATCH] Remove comparator type specializations for
From: |
Peter Bex |
Subject: |
Re: [Chicken-hackers] [PATCH] Remove comparator type specializations for zero and one arguments |
Date: |
Sun, 31 May 2015 17:41:44 +0200 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
On Sun, May 31, 2015 at 05:35:44PM +0200, Peter Bex wrote:
> Hi all,
>
> I noticed that the types.db change we committed in
> 99d43101f8bd2766f8ac64332dc19c2a6ee16d4c introduced
> a small problem: (=) and (= 1) will result in a runtime
> error when used in the interpreter (which is correct
> according to R5RS), but when compiled it will now
> return #t. The same is true for <, <=, > and >=.
>
> The attached patch removes these specializations,
> for CHICKEN 4 and for CHICKEN 5.
Hm, actually, I just noticed that in CHICKEN 4 this will
*not* cause a runtime error, which is probably why we added
the rewrites. This is not correct according to R5RS.
It would be a backward incompatible change, if anyone is
relying on this behaviour, so I think it's probably best
to leave this the way it is in the 4 branch and only apply
the patch to the chicken-5 branch.
Cheers,
Peter
signature.asc
Description: Digital signature