aboutsummaryrefslogtreecommitdiffstats
path: root/erts
diff options
context:
space:
mode:
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) =