Question about tail-invocation stack value length assertion (item 3)

[jacobmischka]

I'm reading through the spec, and https://github.com/WebAssembly/tail-call/blame/master/document/core/exec/instructions.rst#L1134 says that there must be at least m values on the stack, but then proceeds to pop n items from it

Should that m be n? Or am I misunderstanding something?

[rossberg]

That's a typo, the assertion should have said n. Fixed now.

[jacobmischka]

Thanks! Should the frame subscript here still be m? Or should that be n as well?

https://github.com/WebAssembly/tail-call/blame/master/document/core/exec/instructions.rst#L1155

[rossberg]

No, that must match the return arity of the function called.