[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Issue: TAIL-RECURSION-OPTIMIZATION (Version 1)
- To: KMP@STONY-BROOK.SCRC.Symbolics.COM
- Subject: Issue: TAIL-RECURSION-OPTIMIZATION (Version 1)
- From: Eric Benson <eb@lucid.com>
- Date: Thu, 1 Sep 88 12:08:50 PDT
- Cc: CL-Cleanup@SAIL.Stanford.EDU
- In-reply-to: Kent M Pitman's message of Thu, 1 Sep 88 14:03 EDT <880901140348.9.KMP@GRYPHON.SCRC.Symbolics.COM>
I support this proposal completely, assuming it is reworded as you
indicate. In fact, Lucid has already implemented and documented this
proposal, exactly as you describe it. Early function binding is done
on all self calls, not just self tail calls, unless the function is
declared or proclaimed NOTINLINE. In our model, SPEED=0 means
everything is NOTINLINE. This is in knowing violation of the Law
(civil disobedience?), but we have never to my knowledge received a
bug report from a customer about it.