Skip to content

Commit

Permalink
Explain try blocks can be targeted from branches (WebAssembly#64)
Browse files Browse the repository at this point in the history
  • Loading branch information
aheejin authored Oct 24, 2018
1 parent dda2d7b commit ca408dc
Showing 1 changed file with 7 additions and 1 deletion.
8 changes: 7 additions & 1 deletion proposals/Exceptions.md
Original file line number Diff line number Diff line change
Expand Up @@ -109,7 +109,8 @@ Try blocks, like control-flow blocks, have a _block type_. The block type of a
try block defines the values yielded by the evaluation the try block when either
no exception is thrown, or the exception is successfully caught by one of its
catch blocks, and the instructions within the catch block can recover from the
throw.
throw. Because `try` and `end` instructions define a control-flow block, they
can be targets for branches (`br` and `br_if`) as well.

In the initial implementation, try blocks may only yield 0 or 1 values.

Expand Down Expand Up @@ -443,6 +444,11 @@ Try blocks, like control-flow blocks, have a _block type_. The block type of a
try block defines the values yielded by the evaluation the try block when either
no exception is thrown, or the exception is successfully caught by the catch
block.
Try blocks, like control-flow blocks, have a _block type_. The block type of a
try block defines the values yielded by the evaluation the try block when either
no exception is thrown, or the exception is successfully caught by the catch
block. Because `try` and `end` instructions define a control-flow block, they
can be targets for branches (`br` and `br_if`) as well.

In the initial implementation, try blocks may only yield 0 or 1 values.

Expand Down

0 comments on commit ca408dc

Please # to comment.