WebAssembly / spec

WebAssembly specification, reference interpreter, and test suite.
https://webassembly.github.io/spec/
Other
3.13k stars 445 forks source link

stack size mismatch error messages are unclear #1675

Open zlago opened 1 year ago

zlago commented 1 year ago

"error: type mismatch in <thing>, expected [<thing>] but got []" and "error: type mismatch in implicit return, expected [] but got [<thing>]" dont make it clear that the stack has underflowed/too many entries

i would very much appreciate if these messages were "error: stack underflows at <thing>" and "error: stack too big on implicit return (x entries too many/few)" instead for these cases