[plt-scheme] contract & tail recursion

[YC]

Hi -

Question regarding contracts:

I am reading up on contracts, and I just found that while `any` is tail
recursive, `any/c` is not.  Since any/c matches one and only one return
value and is not tail recursive, what about other tests that matches one and
only one value?  Such as `void?`, `null?`, `list?`, etc?  Are they tail
recursive?  I assume (and hope) they are, is my assumption correct?

Thanks,
yc
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://list.cs.brown.edu/pipermail/plt-scheme/attachments/20080911/0c974fb1/attachment.html