Re: [Chicken-hackers] [PATCH] improve type-matching some more

[Felix]

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