Merge pull request #557 from osa1/type_subsecs

List type and field name subsections in namedata
WebAssembly · Aug 28, 2024 · 7c4f303 · 7c4f303
2 parents f3c4126 + c57d4c5
commit 7c4f303
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/document/core/appendix/custom.rst b/document/core/appendix/custom.rst
@@ -46,7 +46,9 @@ Each subsection consists of a
      n{:}\Bname & (\iff n = \text{name}) \\ &&&
      \Bmodulenamesubsec^? \\ &&&
      \Bfuncnamesubsec^? \\ &&&
-     \Blocalnamesubsec^? \\
+     \Blocalnamesubsec^? \\ &&&
+     \Btypenamesubsec^? \\ &&&
+     \Bfieldnamesubsec^? \\
    \production{name subsection} & \Bnamesubsection_N(\B{B}) &::=&
      N{:}\Bbyte~~\X{size}{:}\Bu32~~\B{B}
        & (\iff \X{size} = ||\B{B}||) \\