Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:Ledest:erlang
erlang
2132-Update-the-description-of-the-abstract-for...
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 2132-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
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor