WebAssembly / WebAssembly/spec
stack size mismatch error messages are unclear
Nobody has claimed this yet.
- Dominant language
- WebAssembly
- Stars
- 3.5k
- Forks
- 539
- Avg merge
- 2d 1h
- Merged PRs (30d)
- 13
Description
"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
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
No file or test is named in the issue. Start by searching the specification repository for the two quoted error messages and inspect the stack-mismatch and implicit-return paths; done means these cases clearly report stack underflow or excess entries, with the relevant test suite updated and passing.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- wasm
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100