Re: [Chicken-hackers] testcase -strict-types

[Moritz Heidkamp]

John Cowan <address@hidden> writes:

> Jörg F. Wittenberger scripsit:
>
>> Note: in local procedure `doloop9',
>>  in toplevel procedure `foo#bar':
>>  (strcttps.scm:10) in procedure call to `null?', the predicate is
>> called with an argument of type
>>  `null' and will always return true 
>
> That strikes me as Just Wrong.  Even if a predicate is known to always
> succeed, it shouldn't be impossible to call it, any more than it should
> be impossible to call a predicate that always returns #t on any argument.

Note that it's just a "Note", though :-) I think it's sensible to show
this as it might indeed point to some unnecessary / redundant check that
could just as well be removed.

Moritz