search

effect-handlers / wasm-effect-handlers

WebAssembly specification, reference interpreter, and test suite with effect handlers extension.
Other
31 stars 2 forks source link

Typing #2

Closed dhil closed 5 years ago

dhil commented 5 years ago

This PR implements type checking for try ... catch ... end, throw, rethrow, and br_on_exn.

I suppose I can look into the dynamics next? I will extend the test suite exception.wast once I got rid of the assert false in the evaluator.

dhil commented 5 years ago

you're missing checking the exception definitions in the module (check_exception)

Good catch! I had indeed forgotten about that. PTAL.

dhil commented 5 years ago

Thanks @rossberg! I will continue to work on the dynamic semantics.