Re: A discussion about with-fluids in tail positions

[Andy Wingo]

On Mon 31 Dec 2012 13:59, Stefan Israelsson Tampe <address@hidden> writes:

> Going through the compile-rtl stuff I realized that the handling of
> <dynlet>
> in tail call position is not as good as one could do or?

Yes, Racket guarantees asymptotic tail recursion here but Guile does
not.

> To achieve the first task of cleaning up the with-fluids the most
> simple solution would be to store a pointer to the dynwind stack at
> each call frame and then at a return unwind the dynwind stack all the
> way to that pointer. On the other hand this overhead to handle
> something that is not that common may mean that we cannot go that
> route.

Right.

I would just leave this, if I understand you correctly.  Though, you
might find some inspiration in the call-with-continuation-marks paper
from the Racket folk.

Cheers,

Andy
-- 
http://wingolog.org/