[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-hackers] [PATCH] improve type-matching some more
From: |
Felix |
Subject: |
Re: [Chicken-hackers] [PATCH] improve type-matching some more |
Date: |
Sun, 11 Nov 2012 16:36:34 +0100 (CET) |
From: Peter Bex <address@hidden>
Subject: Re: [Chicken-hackers] [PATCH] improve type-matching some more
Date: Sat, 10 Nov 2012 18:39:20 +0100
> On Sat, Nov 10, 2012 at 02:16:10PM +0100, Felix wrote:
>> This patch builds on the recent scrutinizer fix for list-of/list
>> type matching and generalizes the fix somewhat to uses of
>> "(pair ...)" types. Canonicalization of list-like types
>> uses "(list ...)" where appropriate, which is more precise
>> than "(list-of (or ...))".
>
> Thanks, I've pushed this and added (apply1 + (cons 'a (cons 2 '())))
> to the scrutiny tests (for #952).
>
Thanks.
cheers,
felix