File 5602-Update-the-description-of-the-abstract-for... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 5602-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.
 </item>
+ <item>
+ 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.
+ </item>
 <item>
 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>.
 </item>
 <item>
- If Q is a generator <c>P &lt;- E</c>, where <c>P</c> is
+ 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>.
 </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>.
 </item>
+ <item>
+ 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.
+ </item>
 </list>
 </section>
 
-- 
2.35.3

Places

File 5602-Update-the-description-of-the-abstract-format.patch of Package erlang

Places