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

[John Cowan]

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.

-- 
The Imperials are decadent, 300 pound   John Cowan <address@hidden>
free-range chickens (except they have   http://www.ccil.org/~cowan
teeth, arms instead of wings, and
dinosaurlike tails).                        --Elyse Grasso