Maximally minimal stack trace standardization

Andreas Rossberg rossberg at
Tue Sep 30 03:56:50 PDT 2014

On 29 September 2014 19:25, Brendan Eich <brendan at> wrote:
> Mark S. Miller wrote:
>> That's why, IIRC (haven't checked lately), TCO is only specified for calls
>> from non-sloppy functions.
> PTC (Proper Tail Calls), not TCO. It's confusing to equate the two, from
> what I know (corrections welcome0.

Hm, people most often refer to "mandatory tail call
optimisation/elimination" when talking about a spec level requirement.
I have never seen "PTC" used in a formal context, let alone the


More information about the es-discuss mailing list