File 3132-Update-the-description-of-the-abstract-format.patch of Package erlang
From 4e8834c211fb803a5c3b1c1a275852b6256311b1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Tue, 24 Jan 2023 12:10:48 +0100
Subject: [PATCH 02/12] Update the description of the abstract format
---
erts/doc/src/absform.xml | 15 ++++++++++++++-
1 file changed, 14 insertions(+), 1 deletion(-)
diff --git a/erts/doc/src/absform.xml b/erts/doc/src/absform.xml
index afdb2e7b70..159230e2f3 100644
--- a/erts/doc/src/absform.xml
+++ b/erts/doc/src/absform.xml
@@ -411,6 +411,13 @@
<c>{lc,ANNO,Rep(E_0),[Rep(Q_1), ..., Rep(Q_k)]}</c>.
For Rep(Q), see below.</p>
</item>
+ <item>
+ <p>If E is a map comprehension <c>#{E_0 || Q_1, ..., Q_k}</c>,
+ where <c>E_0</c> is an association <c>K => V</c>
+ and each <c>Q_i</c> is a qualifier, then Rep(E) =
+ <c>{mc,ANNO,Rep(E_0),[Rep(Q_1), ..., Rep(Q_k)]}</c>.
+ For Rep(E_0) and Rep(Q), see below.</p>
+ </item>
<item>
<p>If E is a map creation <c>#{A_1, ..., A_k}</c>,
where each <c>A_i</c> is an association <c>E_i_1 => E_i_2</c>,
@@ -564,7 +571,7 @@
Rep(Q) = <c>Rep(E)</c>.</p>
</item>
<item>
- <p>If Q is a generator <c>P <- E</c>, where <c>P</c> is
+ <p>If Q is a list generator <c>P <- E</c>, where <c>P</c> is
a pattern and <c>E</c> is an expression, then Rep(Q) =
<c>{generate,ANNO,Rep(P),Rep(E)}</c>.</p>
</item>
@@ -573,6 +580,12 @@
a pattern and <c>E</c> is an expression, then Rep(Q) =
<c>{b_generate,ANNO,Rep(P),Rep(E)}</c>.</p>
</item>
+ <item>
+ <p>If Q is a map generator <c>P <- E</c>, where <c>P</c> is
+ an association pattern <c>P_1 := P_2</c> and <c>E</c> is an expression, then Rep(Q) =
+ <c>{m_generate,ANNO,Rep(P),Rep(E)}</c>.
+ For Rep(P), see below.</p>
+ </item>
</list>
</section>
--
2.35.3