Skip to content

Commit db2bb0b

Browse files
committed
Replace uint8 with varint7 in form field (#662)
This needs to be variable-length.
1 parent a052764 commit db2bb0b

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

BinaryEncoding.md

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -38,6 +38,9 @@ A [Signed LEB128](https://en.wikipedia.org/wiki/LEB128#Signed_LEB128) variable-l
3838
### varuint1
3939
A [LEB128](https://en.wikipedia.org/wiki/LEB128) variable-length integer, limited to the values 0 or 1. `varuint1` values may contain leading zeros. (This type is mainly used for compatibility with potential future extensions.)
4040

41+
### varuint7
42+
A [LEB128](https://en.wikipedia.org/wiki/LEB128) variable-length integer, limited to the values [0, 127]. `varuint7` values may contain leading zeros. (This type is mainly used for compatibility with potential future extensions.)
43+
4144
### varuint32
4245
A [LEB128](https://en.wikipedia.org/wiki/LEB128) variable-length integer, limited to uint32 values. `varuint32` values may contain leading zeros.
4346

@@ -126,7 +129,7 @@ The type section declares all function signatures that will be used in the modul
126129
#### Type entry
127130
| Field | Type | Description |
128131
| ----- | ----- | ----- |
129-
| form | `uint8` | `0x40`, indicating a function type |
132+
| form | `varuint7` | `0x40`, indicating a function type |
130133
| param_count | `varuint32` | the number of parameters to the function |
131134
| param_types | `value_type*` | the parameter types of the function |
132135
| return_count | `varuint1` | the number of results from the function |

0 commit comments

Comments
 (0)