Displaying 3 results from an estimated 3 matches for "noncaptur".
Did you mean:
noncapture
2020 May 08
3
Noncapture use of locals disabling TailRecursionElimination
Hi,
I was looking into the implementation of TailRecursionElimination, and
noticed that we have the constrain that if any call uses a local, even
though it doesn't capture the local, it would still prohibit TCE. This
contain seems unnecessary and overly limiting? Relevant code is here:
2020 May 08
1
Noncapture use of locals disabling TailRecursionElimination
On 2020-05-08 1:34 p.m., Xun Li wrote:
> Hi,
>
> I was looking into the implementation of TailRecursionElimination, and
> noticed that we have the constrain that if any call uses a local, even
> though it doesn't capture the local, it would still prohibit TCE. This
> contain seems unnecessary and overly limiting?
I think it's a necessary limitation. The idea is that
2020 May 08
1
Noncapture use of locals disabling TailRecursionElimination
On 2020-05-08 2:58 p.m., Xun Li wrote:
> Eli,
> Yes I was referring to AllCallsAreTailCalls. I will take a look at how
> to improve this.
>
> Nick,
> Thanks. I agree that's the proper constrain to mark a call as
> tailcall, however not being able to mark a call as tailcall shouldn't
> completely kill TCE. (i.e. AllCallsAreTailCalls seems overly
> limiting).
I