Skip to content

Commit 3109b97

Browse files
pl-semioticspl-semiotics
committed
Tweak equality type bound syntax to use typeidx rather than deftype
This was previously being handled inconsistently.
1 parent abbbc3f commit 3109b97

21 files changed

+39
-39
lines changed

‎docs/_download/webassemblycomponentmodel.pdf

-59 Bytes
Binary file not shown.

‎docs/multihtml/_static/documentation_options.js

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
var DOCUMENTATION_OPTIONS = {
22
URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
3-
VERSION: '0.0 (Draft 2022-10-18)',
3+
VERSION: '0.0 (Draft 2022-11-01)',
44
LANGUAGE: 'en',
55
COLLAPSE_INDEX: false,
66
BUILDER: 'html',

‎docs/multihtml/appendix/index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<meta charset="utf-8" />
77
<meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
88

9-
<title>Appendix &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
9+
<title>Appendix &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
1010
<link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
1111
<link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
1212
<script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

‎docs/multihtml/binary/index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<meta charset="utf-8" />
77
<meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
88

9-
<title>Binary Format &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
9+
<title>Binary Format &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
1010
<link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
1111
<link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
1212
<script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

‎docs/multihtml/exec/index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<meta charset="utf-8" />
77
<meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
88

9-
<title>Execution &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
9+
<title>Execution &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
1010
<link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
1111
<link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
1212
<script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

‎docs/multihtml/genindex.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
<head>
66
<meta charset="utf-8" />
77
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
8-
<title>Index &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
8+
<title>Index &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
99
<link rel="stylesheet" type="text/css" href="_static/pygments.css" />
1010
<link rel="stylesheet" type="text/css" href="_static/alabaster.css" />
1111
<script data-url_root="./" id="documentation_options" src="_static/documentation_options.js"></script>

‎docs/multihtml/index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<meta charset="utf-8" />
77
<meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
88

9-
<title>Welcome to the WebAssembly Component Model Specification &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
9+
<title>Welcome to the WebAssembly Component Model Specification &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
1010
<link rel="stylesheet" type="text/css" href="_static/pygments.css" />
1111
<link rel="stylesheet" type="text/css" href="_static/alabaster.css" />
1212
<script data-url_root="./" id="documentation_options" src="_static/documentation_options.js"></script>

‎docs/multihtml/intro/index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<meta charset="utf-8" />
77
<meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
88

9-
<title>Introduction &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
9+
<title>Introduction &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
1010
<link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
1111
<link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
1212
<script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

‎docs/multihtml/search.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
<head>
66
<meta charset="utf-8" />
77
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
8-
<title>Search &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
8+
<title>Search &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
99
<link rel="stylesheet" type="text/css" href="_static/pygments.css" />
1010
<link rel="stylesheet" type="text/css" href="_static/alabaster.css" />
1111

‎docs/multihtml/syntax/components.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<meta charset="utf-8" />
77
<meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
88

9-
<title>Components &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
9+
<title>Components &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
1010
<link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
1111
<link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
1212
<script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

‎docs/multihtml/syntax/conventions.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<meta charset="utf-8" />
77
<meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
88

9-
<title>Conventions &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
9+
<title>Conventions &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
1010
<link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
1111
<link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
1212
<script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

‎docs/multihtml/syntax/index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<meta charset="utf-8" />
77
<meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
88

9-
<title>Structure &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
9+
<title>Structure &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
1010
<link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
1111
<link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
1212
<script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

‎docs/multihtml/syntax/types.html

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<meta charset="utf-8" />
77
<meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
88

9-
<title>Types &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
9+
<title>Types &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
1010
<link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
1111
<link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
1212
<script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>
@@ -198,7 +198,7 @@ <h3 id="searchlabel">Quick search</h3>
198198
\href{../syntax/types.html#syntax-externdesc}{\mathsf{instance}}~\href{../syntax/components.html#syntax-typeidx}{\mathit{typeidx}}\\&amp;&amp;|&amp;
199199
\href{../syntax/types.html#syntax-externdesc}{\mathsf{component}}~\href{../syntax/components.html#syntax-typeidx}{\mathit{typeidx}}\\
200200
\def\mathdef3609#1{{}}\mathdef3609{(typebound)} &amp; \href{../syntax/types.html#syntax-typebound}{\mathit{typebound}} &amp;::=&amp;
201-
\href{../syntax/types.html#syntax-typebound}{\mathsf{EQ}}~\href{../syntax/types.html#syntax-deftype}{\mathit{deftype}}\\&amp;&amp;|&amp;
201+
\href{../syntax/types.html#syntax-typebound}{\mathsf{EQ}}~\href{../syntax/components.html#syntax-typeidx}{\mathit{typeidx}}\\&amp;&amp;|&amp;
202202
\dots\\
203203
\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}} \}
204204
\end{array}\end{split}\]</div>

‎docs/multihtml/text/index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<meta charset="utf-8" />
77
<meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
88

9-
<title>Text Format &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
9+
<title>Text Format &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
1010
<link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
1111
<link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
1212
<script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

‎docs/multihtml/valid/components.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<meta charset="utf-8" />
77
<meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
88

9-
<title>Components &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
9+
<title>Components &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
1010
<link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
1111
<link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
1212
<script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

‎docs/multihtml/valid/conventions.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<meta charset="utf-8" />
77
<meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
88

9-
<title>Conventions &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
9+
<title>Conventions &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
1010
<link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
1111
<link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
1212
<script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

‎docs/multihtml/valid/index.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<meta charset="utf-8" />
77
<meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
88

9-
<title>Validation &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
9+
<title>Validation &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
1010
<link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
1111
<link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
1212
<script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

‎docs/multihtml/valid/subtyping.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<meta charset="utf-8" />
77
<meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="generator" content="Docutils 0.19: https://docutils.sourceforge.io/" />
88

9-
<title>Subtyping &#8212; WebAssembly Component Model 0.0 (Draft 2022-10-18)</title>
9+
<title>Subtyping &#8212; WebAssembly Component Model 0.0 (Draft 2022-11-01)</title>
1010
<link rel="stylesheet" type="text/css" href="../_static/pygments.css" />
1111
<link rel="stylesheet" type="text/css" href="../_static/alabaster.css" />
1212
<script data-url_root="../" id="documentation_options" src="../_static/documentation_options.js"></script>

0 commit comments

Comments
 (0)