aboutsummaryrefslogtreecommitdiff
path: root/AstSemantics.md
diff options
context:
space:
mode:
authorBenjamin Bouvier <public@benj.me>2016-09-13 17:50:25 +0200
committerJF Bastien <github@jfbastien.com>2016-09-13 08:50:25 -0700
commit3e17548c441fe5220bad11328adfe4e6438733ee (patch)
treed094824e3278cf1d7b7b9ee202a336f03f149dd3 /AstSemantics.md
parentd5d8fbd36d32fcf1e9ba4c6d6c153764ad6ecd7b (diff)
downloadnanowasm-design-3e17548c441fe5220bad11328adfe4e6438733ee.tar.gz
Reorder two sentences in Table section to better fit context; (#792)
(and remove a supplementary "the")
Diffstat (limited to 'AstSemantics.md')
-rw-r--r--AstSemantics.md22
1 files changed, 11 insertions, 11 deletions
diff --git a/AstSemantics.md b/AstSemantics.md
index 855941c..0fbb8c0 100644
--- a/AstSemantics.md
+++ b/AstSemantics.md
@@ -254,15 +254,15 @@ accessed by WebAssembly code indirectly through an integer index. This feature
bridges the gap between low-level, untrusted linear memory and high-level
opaque handles/references at the cost of a bounds-checked table indirection.
-The table's element type constrains the type of elements stored
-in the table and allows engines to avoid some type checks on table use.
-When a WebAssembly value is stored in a table, the value's type must precisely
-match the element type. Just like linear memory, updates to a table are
-observed immediately by all instances that reference the table. Depending on the
-operator/API used to store the value, this check may be static or dynamic. Host
-environments may also allow storing non-WebAssembly values in tables in which
-case, as with [imports](Modules.md#imports), the meaning of using the value is
-defined by the host environment.
+The table's element type constrains the type of elements stored in the table
+and allows engines to avoid some type checks on table use. When a WebAssembly
+value is stored in a table, the value's type must precisely match the element
+type. Depending on the operator/API used to store the value, this check may be
+static or dynamic. Just like linear memory, updates to a table are observed
+immediately by all instances that reference the table. Host environments may
+also allow storing non-WebAssembly values in tables in which case, as with
+[imports](Modules.md#imports), the meaning of using the value is defined by the
+host environment.
Every WebAssembly [instance](Modules.md) has one specially-designated *default*
table which is indexed by [`call_indirect`](#calls) and other future
@@ -278,8 +278,8 @@ to hold the array of indirectly-callable functions. Thus, in the MVP:
* tables may only be accessed from WebAssembly code via [`call_indirect`](#calls);
* the only allowed table element type is `anyfunc` (function with any signature);
* tables may not be directly mutated or resized from WebAssembly code;
- this can only be done through the host environment (e.g., the
- the `WebAssembly` [JavaScript API](JS.md#webassemblytable-objects)).
+ this can only be done through the host environment (e.g., the `WebAssembly`
+ [JavaScript API](JS.md#webassemblytable-objects)).
These restrictions may be relaxed in the
[future](FutureFeatures.md#more-table-operators-and-types).