John Cowan <co...@mercury.ccil.org> 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 _______________________________________________ Chicken-hackers mailing list Chicken-hackers@nongnu.org https://lists.nongnu.org/mailman/listinfo/chicken-hackers