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

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>.</p>
       </item>
+      <item>
+        <p>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>.</p>
+      </item>
+      <item>
+        <p>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>.</p>
+      </item>
+      <item>
+        <p>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>.</p>
+      </item>
       <item>
         <p>If E is nil, <c>[]</c>, then Rep(E) = <c>{nil,ANNO}</c>.</p>
       </item>
-- 
2.34.1