[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 21:22:43 +0100 |
User-agent: |
Mozilla/5.0 (X11; Linux armv7l; rv:38.0) Gecko/20100101 Icedove/38.4.0 |
Am 15.02.2016 um 21:18 schrieb Evan Hanson:
> Hi Jörg,
>
> On 2016-02-15 21:03, Jörg F. Wittenberger wrote:
>> + ((,convert? (,the ,boolean ((lambda (x) x) #t)))) ; Convert only
>> first time extent is entered!
>
> Can you explain the lambda? If it's just to avoid the scrutiny message
> about subtypes, I'd rather just fix that message so that it's not printed
> when the types are compatible, regardless of which one is the subtype.
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.