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 &lt;- E</c>, where <c>P</c> is
+          <p>If Q is a list generator <c>P &lt;- 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 &lt;- 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

openSUSE Build Service is sponsored by