[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-hackers] PATCH fixing to recent changes to parameterize
|
From: |
Jörg F . Wittenberger |
|
Subject: |
Re: [Chicken-hackers] PATCH fixing to recent changes to parameterize |
|
Date: |
Mon, 15 Feb 2016 22:17:52 +0100 |
|
User-agent: |
Mozilla/5.0 (X11; Linux armv7l; rv:38.0) Gecko/20100101 Icedove/38.4.0 |
Am 15.02.2016 um 21:55 schrieb Evan Hanson:
> Hi folks,
>
> On 2016-02-15 21:22, Jörg F. Wittenberger wrote:
>> Yes: it is just to avoid the scrunity message.
>>
>> However: it is not only a message. It results in "some types not
>> satisfying type strictness" (or similar) and aborted compilation.
>
> Indeed. How about the attached patch? It allows compatible types, rather
> than just subtypes, to allow just the sort of thing you're doing here.
> Then that hack with the lambda can be dropped.
>
> Evan
+1
I don't understand the scrutinizer enough to actually verify. Just
reading the code I thing it's doing what I need (and allows me to drop
the same hack from other code or mine eventually).