diff options
| author | Ben Smith <binjimin@gmail.com> | 2017-07-29 21:37:16 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-29 21:37:16 -0700 |
| commit | 17ded47a1324c54cf76e8486b900515242f3ae43 (patch) | |
| tree | e2d5504a81b08fb2da2ff8135fbcecbb988dd09c /scripts/gen-emscripten-exported-json.py | |
| parent | d9d4aefd3b66a183677aaf167911a5ead76c1752 (diff) | |
| download | wabt-17ded47a1324c54cf76e8486b900515242f3ae43.tar.gz wabt-17ded47a1324c54cf76e8486b900515242f3ae43.tar.bz2 wabt-17ded47a1324c54cf76e8486b900515242f3ae43.zip | |
Fix tee_local typechecking bug w/ polymorphic stack (#587)
The previous type-checking code just made sure the value on the top of
the stack is the correct type. This isn't sufficient when the stack is
polymorphic, because the concrete type is not pushed onto the stack.
Diffstat (limited to 'scripts/gen-emscripten-exported-json.py')
0 files changed, 0 insertions, 0 deletions