File 3510-absform.xml-Document-the-abstract-forms-fo... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 3510-absform.xml-Document-the-abstract-forms-for-maybe-.-.patch of Package erlang (Revision e1db283a562e295f06bdb5f0f8cb2214)

Currently displaying revision e1db283a562e295f06bdb5f0f8cb2214 , Show latest

From e831451ff657a8b722cb079a09e4a39c5c4018c0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Tue, 16 Nov 2021 06:39:39 +0100
Subject: [PATCH 10/12] absform.xml: Document the abstract forms for maybe ...
 end

---
 erts/doc/src/absform.xml | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/erts/doc/src/absform.xml b/erts/doc/src/absform.xml
index c70ea23aaa..afdb2e7b70 100644
--- a/erts/doc/src/absform.xml
+++ b/erts/doc/src/absform.xml
@@ -429,6 +429,21 @@
 where <c>P</c> is a pattern, then Rep(E) =
 <c>{match,ANNO,Rep(P),Rep(E_0)}</c>.
 </item>
+ <item>
+ If E is a conditional match operator expression <c>P ?= E_0</c>,
+ where <c>P</c> is a pattern, then Rep(E) =
+ <c>{maybe_match,ANNO,Rep(P),Rep(E_0)}</c>.
+ </item>
+ <item>
+ If E is a maybe expression <c>maybe B end</c>,
+ where <c>B</c> is a body then Rep(E) =
+ <c>{'maybe',ANNO,Rep(B)}</c>.
+ </item>
+ <item>
+ If E is a maybe expression <c>maybe B else Ec_1 ; ... ; Ec_k end</c>,
+ where <c>B</c> is a body and each <c>Ec_i</c> is an else clause then Rep(E) =
+ <c>{'maybe',ANNO,Rep(B),{'else',ANNO,[Rep(Ec_1), ..., Rep(Tc_k)]}}</c>.
+ </item>
 <item>
 If E is nil, <c>[]</c>, then Rep(E) = <c>{nil,ANNO}</c>.
 </item>
-- 
2.34.1

Places

File 3510-absform.xml-Document-the-abstract-forms-for-maybe-.-.patch of Package erlang (Revision e1db283a562e295f06bdb5f0f8cb2214)

Places