aboutsummaryrefslogtreecommitdiffstats
path: root/erts
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2015-06-10 16:30:53 +0200
committerHans Bolinder <[email protected]>2015-06-12 11:44:58 +0200
commit417f9960371607e6d618d9dda108787558a9cef5 (patch)
tree3faae68b18a2f8c8f2be33b2153313ad2e9b86ce /erts
parentd1fbf82a0a43f91e2bbf95060dc09a1573e487c2 (diff)
downloadotp-417f9960371607e6d618d9dda108787558a9cef5.tar.gz
otp-417f9960371607e6d618d9dda108787558a9cef5.tar.bz2
otp-417f9960371607e6d618d9dda108787558a9cef5.zip
Update the documentation of the abstract format
The parenthesized type with tag 'paren_type' is no longer created by the Erlang Parser as of OTP 18.0. The tag 'user_type' is used for user defined types as of OTP 18.0. In releases before commit 7ad783 'type' is used.
Diffstat (limited to 'erts')
-rw-r--r--erts/doc/src/absform.xml9
1 files changed, 2 insertions, 7 deletions
diff --git a/erts/doc/src/absform.xml b/erts/doc/src/absform.xml
index 12cb06c151..e1a8c2e517 100644
--- a/erts/doc/src/absform.xml
+++ b/erts/doc/src/absform.xml
@@ -4,7 +4,7 @@
<chapter>
<header>
<copyright>
- <year>2001</year><year>2013</year>
+ <year>2001</year><year>2015</year>
<holder>Ericsson AB. All Rights Reserved.</holder>
</copyright>
<legalnotice>
@@ -164,11 +164,6 @@
type, then Rep(T) = <c><![CDATA[{op,LINE,Op,Rep(A)}]]></c>.</item>
<item>If T is a fun type <c><![CDATA[fun()]]></c>, then Rep(T) =
<c><![CDATA[{type,LINE,'fun',[]}]]></c>.</item>
- <item>If T is a parenthesized type <c><![CDATA[( A )]]></c>, then
- Rep(T) = <c><![CDATA[{paren_type,LINE,Rep(A)}]]></c>, i.e. parenthesized
- types are distinguished from their bodies. It should be noted though
- that parenthesized types that are immediate subtrees of operator
- expressions and binary types are peeled off.</item>
<item>If T is a variable <c><![CDATA[V]]></c>, then Rep(T) =
<c><![CDATA[{var,LINE,A}]]></c>, where <c><![CDATA[A]]></c> is an atom
with a printname consisting of the same characters as
@@ -180,7 +175,7 @@
<c><![CDATA[{type,LINE,F,any}]]></c>.</item>
<item>If T is a type <c><![CDATA[F(A_1, ..., A_k)]]></c>, where each
<c><![CDATA[A_i]]></c> is a type, then Rep(T) =
- <c><![CDATA[{type,LINE,F,[Rep(A_1), ..., Rep(A_k)]}]]></c>.</item>
+ <c><![CDATA[{user_type,LINE,F,[Rep(A_1), ..., Rep(A_k)]}]]></c>.</item>
<item>If T is a remote type <c><![CDATA[M:F(A_1, ..., A_k)]]></c>, where
each <c><![CDATA[A_i]]></c> is a type and <c><![CDATA[M]]></c> and
<c><![CDATA[F]]></c>, then Rep(T) =