diff options
| author | Anthony Ramine <[email protected]> | 2012-11-12 10:07:37 +0100 |
|---|---|---|
| committer | Anthony Ramine <[email protected]> | 2013-12-12 12:54:24 +0100 |
| commit | a929df291877df45c93303d22995bbbebf6a2c45 (patch) | |
| tree | 036a9ee74bc9f1f30f9378795e8b235b462b8212 /erts/doc/src/absform.xml | |
| parent | a0988a638a92211ae0af6ec35ca99edfc05110aa (diff) | |
| download | otp-a929df291877df45c93303d22995bbbebf6a2c45.tar.gz otp-a929df291877df45c93303d22995bbbebf6a2c45.tar.bz2 otp-a929df291877df45c93303d22995bbbebf6a2c45.zip | |
Document named fun expressions
Diffstat (limited to 'erts/doc/src/absform.xml')
| -rw-r--r-- | erts/doc/src/absform.xml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/erts/doc/src/absform.xml b/erts/doc/src/absform.xml index 55aef9f8ab..4acc03b133 100644 --- a/erts/doc/src/absform.xml +++ b/erts/doc/src/absform.xml @@ -290,6 +290,18 @@ <item>If E is <c><![CDATA[fun Fc_1 ; ... ; Fc_k end]]></c> where each <c><![CDATA[Fc_i]]></c> is a function clause then Rep(E) = <c><![CDATA[{'fun',LINE,{clauses,[Rep(Fc_1), ..., Rep(Fc_k)]}}]]></c>.</item> + <item>If E is <c><![CDATA[fun Name Fc_1 ; ... ; Name Fc_k end]]></c> + where <c><![CDATA[Name]]></c> is a variable and each + <c><![CDATA[Fc_i]]></c> is a function clause then Rep(E) = + <c><![CDATA[{named_fun,LINE,Name,[Rep(Fc_1), ..., Rep(Fc_k)]}]]></c>. + </item> + <item>If E is <c><![CDATA[query [E_0 || W_1, ..., W_k] end]]></c>, + where each <c><![CDATA[W_i]]></c> is a generator or a filter, then + Rep(E) = <c><![CDATA[{'query',LINE,{lc,LINE,Rep(E_0),[Rep(W_1), ..., Rep(W_k)]}}]]></c>. + For Rep(W), see below.</item> + <item>If E is <c><![CDATA[E_0.Field]]></c>, a Mnesia record access + inside a query, then + Rep(E) = <c><![CDATA[{record_field,LINE,Rep(E_0),Rep(Field)}]]></c>.</item> <item>If E is <c><![CDATA[( E_0 )]]></c>, then Rep(E) = <c><![CDATA[Rep(E_0)]]></c>, i.e., parenthesized expressions cannot be distinguished from their bodies.</item> |