[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-hackers] [PATCH] Handle type-variables in initial argument
|
From: |
Felix |
|
Subject: |
Re: [Chicken-hackers] [PATCH] Handle type-variables in initial argument types |
|
Date: |
Sun, 19 Aug 2012 02:07:57 +0200 (CEST) |
From: Peter Bex <address@hidden>
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