[Chicken-hackers] PS: Re: PATCH fixing to recent changes to parameterize

[Jörg F . Wittenberger]

PS: please don't simply disable this abortion of the compile.  This kind
of errors is bad enough that I *really* want to know when this happens.
 I'd rather leave the lambda for now (in the hope that the compiler will
optimize it away) than only being warned and wrong resulting code
compiled anyway.  The latter is just to hard to spot.

Am 15.02.2016 um 21:22 schrieb Jörg F. Wittenberger:
> 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.