From f18bf0b1f3e108059c5e4c742eca145a528d22c7 Mon Sep 17 00:00:00 2001 From: Timo Savola Date: Sun, 30 Oct 2016 23:41:58 +0200 Subject: Mention block_type instead of inline_signature_type in opcode table (#852) --- BinaryEncoding.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'BinaryEncoding.md') 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 | -- cgit v1.2.3