File 4332-erts-Add-dynamic-type-to-erlang-module-docs.patch of Package erlang
From 2b6820c92ef1f3784d744dad0f97b5f3388d28fc Mon Sep 17 00:00:00 2001
From: Lukas Larsson <lukas@erlang.org>
Date: Mon, 9 Oct 2023 15:09:10 +0200
Subject: [PATCH 2/4] erts: Add dynamic -type to erlang module docs
---
erts/doc/src/erlang.xml | 6 ++++++
system/doc/reference_manual/typespec.xml | 1 +
2 files changed, 7 insertions(+)
diff --git a/erts/doc/src/erlang.xml b/erts/doc/src/erlang.xml
index abc4600a37..123ba081a6 100644
--- a/erts/doc/src/erlang.xml
+++ b/erts/doc/src/erlang.xml
@@ -110,6 +110,12 @@
codepoint presented by an integer.</p>
</desc>
</datatype>
+ <datatype>
+ <name name="dynamic" n_vars="0"/>
+ <desc>
+ <p>The <seeguide marker="system/reference_manual:typespec#dynamic">dynamic</seeguide> type.</p>
+ </desc>
+ </datatype>
<datatype>
<name name="float" n_vars="0"/>
<desc>
diff --git a/system/doc/reference_manual/typespec.xml b/system/doc/reference_manual/typespec.xml
index 8f3ba3b25a..a0ef403cad 100644
--- a/system/doc/reference_manual/typespec.xml
+++ b/system/doc/reference_manual/typespec.xml
@@ -89,6 +89,7 @@
the set of all Erlang terms and the bottom-most element, <c>none()</c>,
denotes the empty set of terms.
</p>
+ <marker id="dynamic"/>
<p>
To facilitate <url href="https://en.wikipedia.org/wiki/Gradual_typing">
gradual typing</url> of Erlang, the type `dynamic()` is provided.
--
2.35.3