From: Peter Bex <[email protected]>
Subject: Re: [Chicken-hackers] [PATCH] Handle type-variables in initial 
argument types
Date: Thu, 16 Aug 2012 19:17:50 +0200

> On Wed, Aug 15, 2012 at 09:56:34PM +0200, Felix wrote:
>> In "strict-types" mode, the initial types of procedure arguments are
>> assumed to default to those found in existing declarations, but this
>> did not detect and resolve type variables in "forall" types.
> 
> Looks good, pushed.
> 
>> Reported by Moritz, should fix #896.
> 
> Shouldn't this case be added to the tests?

That I did. Thanks for the reminder.


cheers,
felix

_______________________________________________
Chicken-hackers mailing list
[email protected]
https://lists.nongnu.org/mailman/listinfo/chicken-hackers

Reply via email to