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

Tail contexts

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.