diff options
| author | Luke Wagner <luke@mozilla.com> | 2016-03-01 18:57:38 -0600 |
|---|---|---|
| committer | Luke Wagner <luke@mozilla.com> | 2016-03-04 00:42:35 -0600 |
| commit | 97e54b55d6a1f76d9466fe3d6be8a49e61f5ab01 (patch) | |
| tree | fc9770dba3aa58330a8487c147ad9553a0031500 /BinaryEncoding.md | |
| parent | 0d1393dd3de17f2d5e982853582e322eb4f41a14 (diff) | |
| download | nanowasm-design-97e54b55d6a1f76d9466fe3d6be8a49e61f5ab01.tar.gz | |
Mention 0 or 1 times
Diffstat (limited to 'BinaryEncoding.md')
| -rw-r--r-- | BinaryEncoding.md | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/BinaryEncoding.md b/BinaryEncoding.md index b021753..a997dc2 100644 --- a/BinaryEncoding.md +++ b/BinaryEncoding.md @@ -244,8 +244,8 @@ ID: `function_names` The number of names is determined by the number of declared functions. The sequence of names assigns a name to each function index. -This section is optional and does not contribute to the semenatics of execution. -A validation error in this section is not reported and is treated as the section +This section may occur 0 or 1 times and does not change observable semantics. A +validation error in this section is not reported and is treated as the section being absent. The expectation is that, when a binary WebAssembly module is viewed in a browser or other development environment, the names in this section will be used as the names of functions in the [text format](TextFormat.md). @@ -263,8 +263,8 @@ The sequence of names is defined to be the concatentation of the sequence of local names (ordered by local index) for each function (ordered by function index). This sequence assigns a name to every local index in every function. -This section is optional and does not contribute to the semenatics of execution. -A validation error in this section is not reported and is treated as the section +This section may occur 0 or 1 times and does not change observable semantics. A +validation error in this section is not reported and is treated as the section being absent. The expectation is that, when a binary WebAssembly module is viewed in a browser or other development environment, the names in this section will be used as the names of locals in the [text format](TextFormat.md). |