[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Tail contexts

This page is part of the web mail archives of SRFI 87 from before July 7th, 2015. The new archives for SRFI 87 contain all messages, not just those from before July 7th, 2015.

Thank you. I will work on it.

Chongkai Zhu  

======= At 2006-05-06, 06:27:14 David Van Horn wrote: =======

> From R5RS:
>    3.5  Proper tail recursion
>    If a cond expression is in a tail context, and has a clause of the
>    form (<expression1> => <expression2>) then the (implied) call to the
>    procedure that results from the evaluation of <expression2> is in a
>    tail context. <expression2> itself is not in a tail context.
>I would guess the intent of this SRFI is that the same should apply to 
>case.  Perhaps it should be stated explicitly.