[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-hackers] PATCH fixing to recent changes to parameterize
From: |
Evan Hanson |
Subject: |
Re: [Chicken-hackers] PATCH fixing to recent changes to parameterize |
Date: |
Tue, 16 Feb 2016 09:55:50 +1300 |
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
0001-Allow-compatible-types-not-just-subtypes-in-the-.-de.master.patch
Description: Text Data
0001-Allow-compatible-types-not-just-subtypes-in-the-.-de.chicken-5.patch
Description: Text Data