diff options
| author | Timo Savola <timo.savola@iki.fi> | 2016-10-30 23:41:58 +0200 |
|---|---|---|
| committer | Luke Wagner <mail@lukewagner.name> | 2016-10-30 16:41:58 -0500 |
| commit | f18bf0b1f3e108059c5e4c742eca145a528d22c7 (patch) | |
| tree | fdb85295ff7c1e0479478df7a4a09a6370abd98c /BinaryEncoding.md | |
| parent | 18759dd1f259429504cba1b9470744f5135db7b4 (diff) | |
| download | nanowasm-design-f18bf0b1f3e108059c5e4c742eca145a528d22c7.tar.gz | |
Mention block_type instead of inline_signature_type in opcode table (#852)
Diffstat (limited to 'BinaryEncoding.md')
| -rw-r--r-- | BinaryEncoding.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/BinaryEncoding.md b/BinaryEncoding.md index 9ea2766..ed8daae 100644 --- a/BinaryEncoding.md +++ b/BinaryEncoding.md @@ -480,9 +480,9 @@ It is legal to have several entries with the same type. | ---- | ---- | ---- | ---- | | `unreachable` | `0x00` | | trap immediately | | `nop` | `0x01` | | no operation | -| `block` | `0x02` | sig : `inline_signature_type` | begin a sequence of expressions, yielding 0 or 1 values | -| `loop` | `0x03` | sig : `inline_signature_type` | begin a block which can also form control flow loops | -| `if` | `0x04` | sig : `inline_signature_type` | begin if expression | +| `block` | `0x02` | sig : `block_type` | begin a sequence of expressions, yielding 0 or 1 values | +| `loop` | `0x03` | sig : `block_type` | begin a block which can also form control flow loops | +| `if` | `0x04` | sig : `block_type` | begin if expression | | `else` | `0x05` | | begin else expression of if | | `end` | `0x0b` | | end a block, loop, or if | | `br` | `0x0c` | relative_depth : `varuint32` | break that targets an outer nested block | |