Tweak equality type bound syntax to use typeidx rather than deftype

This was previously being handled inconsistently.
WebAssembly · Nov 1, 2022 · 3109b97 · 3109b97
1 parent abbbc3f
commit 3109b97
Show file tree

Hide file tree

Showing 21 changed files with 39 additions and 39 deletions.
diff --git a/docs/_download/webassemblycomponentmodel.pdf b/docs/_download/webassemblycomponentmodel.pdf
diff --git a/docs/multihtml/_static/documentation_options.js b/docs/multihtml/_static/documentation_options.js
@@ -1,6 +1,6 @@
 var DOCUMENTATION_OPTIONS = {
     URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
-    VERSION: '0.0 (Draft 2022-10-18)',
+    VERSION: '0.0 (Draft 2022-11-01)',
     LANGUAGE: 'en',
     COLLAPSE_INDEX: false,
     BUILDER: 'html',

diff --git a/docs/multihtml/appendix/index.html b/docs/multihtml/appendix/index.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Appendix &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
+    <title>Appendix &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

diff --git a/docs/multihtml/binary/index.html b/docs/multihtml/binary/index.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Binary Format &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
+    <title>Binary Format &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

diff --git a/docs/multihtml/exec/index.html b/docs/multihtml/exec/index.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Execution &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
+    <title>Execution &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

diff --git a/docs/multihtml/genindex.html b/docs/multihtml/genindex.html
@@ -5,7 +5,7 @@
   <head>
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-    <title>Index &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
+    <title>Index &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
     <link rel="stylesheet" type="text/css" href="_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="_static/alabaster.css" />
     <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js"></script>

diff --git a/docs/multihtml/index.html b/docs/multihtml/index.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Welcome to the WebAssembly Component Model Specification &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
+    <title>Welcome to the WebAssembly Component Model Specification &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
     <link rel="stylesheet" type="text/css" href="_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="_static/alabaster.css" />
     <script data-url_root="./" id="documentation_options" src="_static/documentation_options.js"></script>

diff --git a/docs/multihtml/intro/index.html b/docs/multihtml/intro/index.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Introduction &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
+    <title>Introduction &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

diff --git a/docs/multihtml/search.html b/docs/multihtml/search.html
@@ -5,7 +5,7 @@
   <head>
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-    <title>Search &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
+    <title>Search &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
     <link rel="stylesheet" type="text/css" href="_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="_static/alabaster.css" />
 

diff --git a/docs/multihtml/syntax/components.html b/docs/multihtml/syntax/components.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Components &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
+    <title>Components &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

diff --git a/docs/multihtml/syntax/conventions.html b/docs/multihtml/syntax/conventions.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Conventions &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
+    <title>Conventions &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

diff --git a/docs/multihtml/syntax/index.html b/docs/multihtml/syntax/index.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Structure &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
+    <title>Structure &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

diff --git a/docs/multihtml/syntax/types.html b/docs/multihtml/syntax/types.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Types &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
+    <title>Types &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>
@@ -198,7 +198,7 @@ <h3 id="searchlabel">Quick search</h3>
   \href{../syntax/types.html#syntax-externdesc}{\mathsf{instance}}~\href{../syntax/components.html#syntax-typeidx}{\mathit{typeidx}}\\&amp;&amp;|&amp;
   \href{../syntax/types.html#syntax-externdesc}{\mathsf{component}}~\href{../syntax/components.html#syntax-typeidx}{\mathit{typeidx}}\\
 \def\mathdef3609#1{{}}\mathdef3609{(typebound)} &amp; \href{../syntax/types.html#syntax-typebound}{\mathit{typebound}} &amp;::=&amp;
-\href{../syntax/types.html#syntax-typebound}{\mathsf{EQ}}~\href{../syntax/types.html#syntax-deftype}{\mathit{deftype}}\\&amp;&amp;|&amp;
+\href{../syntax/types.html#syntax-typebound}{\mathsf{EQ}}~\href{../syntax/components.html#syntax-typeidx}{\mathit{typeidx}}\\&amp;&amp;|&amp;
 \dots\\
 \def\mathdef3609#1{{}}\mathdef3609{(exportdecl)} &amp; \href{../syntax/types.html#syntax-exportdecl}{\mathit{exportdecl}} &amp;::=&amp; \{ \href{../syntax/types.html#syntax-exportdecl}{\mathsf{name}}~\href{../syntax/values.html#syntax-name}{\mathit{name}}, \href{../syntax/types.html#syntax-exportdecl}{\mathsf{desc}}~\href{../syntax/types.html#syntax-externdesc}{\mathit{externdesc}} \}
 \end{array}\end{split}\]</div>

diff --git a/docs/multihtml/text/index.html b/docs/multihtml/text/index.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Text Format &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
+    <title>Text Format &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

diff --git a/docs/multihtml/valid/components.html b/docs/multihtml/valid/components.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Components &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
+    <title>Components &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

diff --git a/docs/multihtml/valid/conventions.html b/docs/multihtml/valid/conventions.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Conventions &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
+    <title>Conventions &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

diff --git a/docs/multihtml/valid/index.html b/docs/multihtml/valid/index.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Validation &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
+    <title>Validation &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

diff --git a/docs/multihtml/valid/subtyping.html b/docs/multihtml/valid/subtyping.html
@@ -6,7 +6,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
 
-    <title>Subtyping &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
+    <title>Subtyping &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
     <link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
     <link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
     <script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>