Skip to content

Commit

Permalink
deploy: 24f0819
Browse files Browse the repository at this point in the history
  • Loading branch information
@rossberg
rossberg committed Sep 13, 2024
1 parent 02f6e1d commit adc34c6
Show file tree
Hide file tree
Showing 6 changed files with 8 additions and 11 deletions.
Binary file modified core/_download/WebAssembly.pdf
View file
Binary file not shown.
13 changes: 5 additions & 8 deletions core/exec/instructions.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2193,7 +2193,6 @@ <h3><span class="math notranslate nohighlight">\(t_2\mathsf{x}N\mathsf{.}\href{.
<section id="xref-syntax-instructions-syntax-instr-control-mathsf-throw-ref">
<span id="exec-throw-ref"></span><h3><span class="math notranslate nohighlight">\(\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{throw\_ref}}\)</span><a class="headerlink" href="#xref-syntax-instructions-syntax-instr-control-mathsf-throw-ref" title="Permalink to this heading"></a></h3>
<ol class="arabic simple">
<li><p>Let <span class="math notranslate nohighlight">\(F\)</span> be the <a class="reference internal" href="conventions.html#exec-notation-textual"><span class="std std-ref">current</span></a> <a class="reference internal" href="runtime.html#syntax-frame"><span class="std std-ref">frame</span></a>.</p></li>
<li><p>Assert: due to <a class="reference internal" href="../valid/instructions.html#valid-throw-ref"><span class="std std-ref">validation</span></a>, a <a class="reference internal" href="runtime.html#syntax-ref"><span class="std std-ref">reference</span></a> is on the top of the stack.</p></li>
<li><p>Pop the reference <span class="math notranslate nohighlight">\(\href{../exec/runtime.html#syntax-ref}{\mathit{ref}}\)</span> from the stack.</p></li>
<li><p>If <span class="math notranslate nohighlight">\(\href{../exec/runtime.html#syntax-ref}{\mathit{ref}}\)</span> is <span class="math notranslate nohighlight">\(\href{../syntax/instructions.html#syntax-instr-ref}{\mathsf{ref{.}null}}~\mathit{ht}\)</span>, then:</p>
Expand All @@ -2206,14 +2205,11 @@ <h3><span class="math notranslate nohighlight">\(t_2\mathsf{x}N\mathsf{.}\href{.
<li><p>Assert: due to <a class="reference internal" href="../valid/instructions.html#valid-throw-ref"><span class="std std-ref">validation</span></a>, <span class="math notranslate nohighlight">\(S.\href{../exec/runtime.html#syntax-store}{\mathsf{exns}}[\mathit{ea}]\)</span> exists.</p></li>
<li><p>Let <span class="math notranslate nohighlight">\(\mathit{exn}\)</span> be the <a class="reference internal" href="runtime.html#syntax-exninst"><span class="std std-ref">exception instance</span></a> <span class="math notranslate nohighlight">\(S.\href{../exec/runtime.html#syntax-store}{\mathsf{exns}}[\mathit{ea}]\)</span>.</p></li>
<li><p>Let <span class="math notranslate nohighlight">\(a\)</span> be the <a class="reference internal" href="runtime.html#syntax-tagaddr"><span class="std std-ref">tag address</span></a> <span class="math notranslate nohighlight">\(\mathit{exn}.\href{../exec/runtime.html#syntax-exninst}{\mathsf{tag}}\)</span>.</p></li>
<li><p>While the stack is not empty and the top of the stack is not an <a class="reference internal" href="runtime.html#syntax-handler"><span class="std std-ref">exception handler</span></a>, do:</p></li>
</ol>
<blockquote>
<div><ol class="loweralpha simple">
<li><p>While the stack is not empty and the top of the stack is not an <a class="reference internal" href="runtime.html#syntax-handler"><span class="std std-ref">exception handler</span></a>, do:</p>
<ol class="loweralpha simple">
<li><p>Pop the top element from the stack.</p></li>
</ol>
</div></blockquote>
<ol class="arabic simple" start="11">
</li>
<li><p>Assert: the stack is now either empty, or there is an exception handler on the top of the stack.</p></li>
<li><p>If the stack is empty, then:</p></li>
</ol>
Expand All @@ -2222,7 +2218,7 @@ <h3><span class="math notranslate nohighlight">\(t_2\mathsf{x}N\mathsf{.}\href{.
<li><p>Return the exception <span class="math notranslate nohighlight">\((\href{../exec/runtime.html#syntax-ref.exn-addr}{\mathsf{ref{.}exn}}~a)\)</span> as a <a class="reference internal" href="runtime.html#syntax-result"><span class="std std-ref">result</span></a>.</p></li>
</ol>
</div></blockquote>
<ol class="arabic simple" start="13">
<ol class="arabic simple" start="12">
<li><p>Assert: there is an <a class="reference internal" href="runtime.html#syntax-handler"><span class="std std-ref">exception handler</span></a> on the top of the stack.</p></li>
<li><p>Pop the exception handler <span class="math notranslate nohighlight">\(\href{../exec/runtime.html#syntax-handler}{\mathsf{handler}}_n\{\href{../syntax/instructions.html#syntax-catch}{\mathit{catch}}^\ast\}\)</span> from the stack.</p></li>
<li><p>If <span class="math notranslate nohighlight">\(\href{../syntax/instructions.html#syntax-catch}{\mathit{catch}}^\ast\)</span> is empty, then:</p>
Expand All @@ -2233,6 +2229,7 @@ <h3><span class="math notranslate nohighlight">\(t_2\mathsf{x}N\mathsf{.}\href{.
</li>
<li><p>Else:</p>
<ol class="loweralpha simple">
<li><p>Let <span class="math notranslate nohighlight">\(F\)</span> be the <a class="reference internal" href="conventions.html#exec-notation-textual"><span class="std std-ref">current</span></a> <a class="reference internal" href="runtime.html#syntax-frame"><span class="std std-ref">frame</span></a>.</p></li>
<li><p>Let <span class="math notranslate nohighlight">\(\href{../syntax/instructions.html#syntax-catch}{\mathit{catch}}_1\)</span> be the first <a class="reference internal" href="../syntax/instructions.html#syntax-catch"><span class="std std-ref">catch clause</span></a> in <span class="math notranslate nohighlight">\(\href{../syntax/instructions.html#syntax-catch}{\mathit{catch}}^\ast\)</span> and <span class="math notranslate nohighlight">\({\href{../syntax/instructions.html#syntax-catch}{\mathit{catch}}'}^\ast\)</span> the remaining clauses.</p></li>
<li><p>If <span class="math notranslate nohighlight">\(\href{../syntax/instructions.html#syntax-catch}{\mathit{catch}}_1\)</span> is of the form <span class="math notranslate nohighlight">\(\href{../syntax/instructions.html#syntax-instr-control}{\mathsf{catch}}~x~l\)</span> and the <a class="reference internal" href="runtime.html#syntax-tagaddr"><span class="std std-ref">tag address</span></a> <span class="math notranslate nohighlight">\(a\)</span> equals <span class="math notranslate nohighlight">\(F.\href{../exec/runtime.html#syntax-frame}{\mathsf{module}}.\href{../exec/runtime.html#syntax-moduleinst}{\mathsf{tagaddrs}}[x]\)</span>, then:</p>
<ol class="lowerroman simple">
Expand Down
2 changes: 1 addition & 1 deletion js-api/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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="79323b5fcc19aab5600e8072f34e3855fdad5a68" name="revision">
<meta content="24f0819ff8bb238d45dac52f72b9c9e8f323a551" name="revision">
<meta content="dark light" name="color-scheme">
<style>
emu-const {
Expand Down
Binary file modified legacy/exceptions/core/_download/WebAssembly-Legacy-Exceptions.pdf
View file
Binary file not shown.
2 changes: 1 addition & 1 deletion legacy/exceptions/js-api/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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="79323b5fcc19aab5600e8072f34e3855fdad5a68" name="revision">
<meta content="24f0819ff8bb238d45dac52f72b9c9e8f323a551" name="revision">
<meta content="dark light" name="color-scheme">
<style>
emu-const {
Expand Down
2 changes: 1 addition & 1 deletion web-api/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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="79323b5fcc19aab5600e8072f34e3855fdad5a68" name="revision">
<meta content="24f0819ff8bb238d45dac52f72b9c9e8f323a551" name="revision">
<meta content="dark light" name="color-scheme">
<style>/* Boilerplate: style-autolinks */
.css.css, .property.property, .descriptor.descriptor {
Expand Down

0 comments on commit adc34c6

Please sign in to comment.