[bitc-dev] Surface Syntax (again)

[Jonathan S. Shapiro]

On Thu, Feb 26, 2009 at 5:19 PM, Pal-Kristian Engstad
<pal_engstad at naughtydog.com> wrote:
> Jonathan S. Shapiro wrote:
>> I am not clear from your description what the distinction between
>> letrec and let loop is, however. If "let loop" is used, does this mean
>> that it is *required* for all invocations to be in tail position?
>> Pardon my ignorance here!
>>
> Yes, that is exactly the intension.

Painful grimace. I actually like that idea. I'ld like it better if our
current tail-call analyzer worked correctly. :-(

shap