deploy: 535fc6a

Wasm-DSL · Sep 23, 2024 · e2e12db · e2e12db
1 parent 5f4e0ca
commit e2e12db
Show file tree

Hide file tree

Showing 7 changed files with 4 additions and 4 deletions.
diff --git a/core/_download/WebAssembly.pdf b/core/_download/WebAssembly.pdf
diff --git a/core/exec/instructions.html b/core/exec/instructions.html
@@ -652,7 +652,7 @@ <h3 id="searchlabel">Quick search</h3>
 <li><p>Assert: Due to validation, <span class="math notranslate nohighlight">\({\href{../valid/conventions.html#aux-expand-deftype}{\mathrm{expand}}}(z{.}\href{../exec/runtime.html#syntax-store}{\mathsf{types}}{}[x])\)</span> is of the case <span class="math notranslate nohighlight">\(\href{../syntax/types.html#syntax-comptype}{\mathsf{struct}}\)</span>.</p></li>
 <li><p>Let <span class="math notranslate nohighlight">\((\href{../syntax/types.html#syntax-comptype}{\mathsf{struct}}~{{\href{../syntax/types.html#syntax-fieldtype}{\mathit{fieldtype}}}_0^\ast})\)</span> be <span class="math notranslate nohighlight">\({\href{../valid/conventions.html#aux-expand-deftype}{\mathrm{expand}}}(z{.}\href{../exec/runtime.html#syntax-store}{\mathsf{types}}{}[x])\)</span>.</p></li>
 <li><p>Let <span class="math notranslate nohighlight">\({({\href{../syntax/types.html#syntax-mut}{\mathsf{mut}}^?}, {\mathit{zt}})^\ast}\)</span> be <span class="math notranslate nohighlight">\({{\href{../syntax/types.html#syntax-fieldtype}{\mathit{fieldtype}}}_0^\ast}\)</span>.</p></li>
-<li><p>Assert: Due to validation, for all <span class="math notranslate nohighlight">\({({\href{../exec/runtime.html#syntax-val}{\mathit{val}}}, {\mathit{zt}})^\ast}\)</span>, <span class="math notranslate nohighlight">\({{\href{../exec/runtime.html#default-val}{\mathrm{default}}}}_{{\href{../syntax/types.html#aux-unpack}{\mathrm{unpack}}}({\mathit{zt}})}\)</span> is defined.</p></li>
+<li><p>Assert: Due to validation, for all <span class="math notranslate nohighlight">\({({\mathit{zt}})^\ast}\)</span>, <span class="math notranslate nohighlight">\({{\href{../exec/runtime.html#default-val}{\mathrm{default}}}}_{{\href{../syntax/types.html#aux-unpack}{\mathrm{unpack}}}({\mathit{zt}})}\)</span> is defined.</p></li>
 <li><p>Let <span class="math notranslate nohighlight">\({{\href{../exec/runtime.html#syntax-val}{\mathit{val}}}^\ast}\)</span> be <span class="math notranslate nohighlight">\({{{\href{../exec/runtime.html#default-val}{\mathrm{default}}}}_{{\href{../syntax/types.html#aux-unpack}{\mathrm{unpack}}}({\mathit{zt}})}^\ast}\)</span>.</p></li>
 <li><p>Push the values <span class="math notranslate nohighlight">\({{\href{../exec/runtime.html#syntax-val}{\mathit{val}}}^\ast}\)</span> to the stack.</p></li>
 <li><p>Execute the instruction <span class="math notranslate nohighlight">\((\href{../syntax/instructions.html#syntax-instr-struct}{\mathsf{struct{.}new}}~x)\)</span>.</p></li>

diff --git a/js-api/index.html b/js-api/index.html
@@ -6,7 +6,7 @@
   <meta content="ED" name="w3c-status">
   <meta content="Bikeshed version 6270e4735, updated Tue Aug 6 12:12:30 2024 -0700" name="generator">
   <link href="https://www.w3.org/TR/wasm-js-api-2/" rel="canonical">
-  <meta content="6cf080832542103e84981fda482a6938da225802" name="revision">
+  <meta content="535fc6a7c3da8599ab8bbe2ea6e8c8051916b34e" name="revision">
   <meta content="dark light" name="color-scheme">
 <style>
 emu-const {

diff --git a/legacy/exceptions/core/_download/WebAssembly-Legacy-Exceptions.pdf b/legacy/exceptions/core/_download/WebAssembly-Legacy-Exceptions.pdf
diff --git a/legacy/exceptions/js-api/index.html b/legacy/exceptions/js-api/index.html
@@ -6,7 +6,7 @@
   <meta content="ED" name="w3c-status">
   <meta content="Bikeshed version 6270e4735, updated Tue Aug 6 12:12:30 2024 -0700" name="generator">
   <link href="https://www.w3.org/TR/wasm-js-api-2/" rel="canonical">
-  <meta content="6cf080832542103e84981fda482a6938da225802" name="revision">
+  <meta content="535fc6a7c3da8599ab8bbe2ea6e8c8051916b34e" name="revision">
   <meta content="dark light" name="color-scheme">
 <style>
 emu-const {

diff --git a/metadata/code/_download/WebAssembly-Metadata-Code.pdf b/metadata/code/_download/WebAssembly-Metadata-Code.pdf
diff --git a/web-api/index.html b/web-api/index.html
@@ -6,7 +6,7 @@
   <meta content="ED" name="w3c-status">
   <meta content="Bikeshed version 6270e4735, updated Tue Aug 6 12:12:30 2024 -0700" name="generator">
   <link href="https://www.w3.org/TR/wasm-web-api-2/" rel="canonical">
-  <meta content="6cf080832542103e84981fda482a6938da225802" name="revision">
+  <meta content="535fc6a7c3da8599ab8bbe2ea6e8c8051916b34e" name="revision">
   <meta content="dark light" name="color-scheme">
 <style>/* Boilerplate: style-autolinks */
 .css.css, .property.property, .descriptor.descriptor {