aboutsummaryrefslogtreecommitdiffstats
path: root/erts/doc/src
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2018-09-11 10:09:30 +0200
committerHans Bolinder <[email protected]>2018-09-14 09:29:02 +0200
commit8856bfa8d104b700d67180c15eff98003d28e075 (patch)
tree9d888ee29adadc264d207662b7e7c0c4d6bdd4e3 /erts/doc/src
parent1b9128438358155a215c465b5a3d1deb9c4d9965 (diff)
downloadotp-8856bfa8d104b700d67180c15eff98003d28e075.tar.gz
otp-8856bfa8d104b700d67180c15eff98003d28e075.tar.bz2
otp-8856bfa8d104b700d67180c15eff98003d28e075.zip
erts: Add comment about [] and nil() to The Abstract Format
Diffstat (limited to 'erts/doc/src')
-rw-r--r--erts/doc/src/absform.xml4
1 files changed, 3 insertions, 1 deletions
diff --git a/erts/doc/src/absform.xml b/erts/doc/src/absform.xml
index f29bb7b8f9..d77d989057 100644
--- a/erts/doc/src/absform.xml
+++ b/erts/doc/src/absform.xml
@@ -811,7 +811,9 @@
</item>
<item>
<p>If T is the empty list type <c>[]</c>, then Rep(T) =
- <c>{type,Line,nil,[]}</c>.</p>
+ <c>{type,Line,nil,[]}</c>, that is, the empty list type
+ <c>[]</c> cannot be distinguished from the predefined type
+ <c>nil()</c>.</p>
</item>
<item>
<p>If T is a fun type <c>fun()</c>, then Rep(T) =