summaryrefslogtreecommitdiff
path: root/erts/doc/src/absform.xml
diff options
context:
space:
mode:
Diffstat (limited to 'erts/doc/src/absform.xml')
-rw-r--r--erts/doc/src/absform.xml15
1 files changed, 15 insertions, 0 deletions
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
@@ -430,6 +430,21 @@
<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>
<item>