diff options
| author | Hans Bolinder <[email protected]> | 2015-06-10 16:30:53 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2015-06-12 11:44:58 +0200 |
| commit | 417f9960371607e6d618d9dda108787558a9cef5 (patch) | |
| tree | 3faae68b18a2f8c8f2be33b2153313ad2e9b86ce /erts/doc | |
| parent | d1fbf82a0a43f91e2bbf95060dc09a1573e487c2 (diff) | |
| download | otp-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/doc')
| -rw-r--r-- | erts/doc/src/absform.xml | 9 |
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) = |