diff options
| author | Hans Bolinder <[email protected]> | 2018-09-11 10:09:30 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2018-09-14 09:29:02 +0200 |
| commit | 8856bfa8d104b700d67180c15eff98003d28e075 (patch) | |
| tree | 9d888ee29adadc264d207662b7e7c0c4d6bdd4e3 | |
| parent | 1b9128438358155a215c465b5a3d1deb9c4d9965 (diff) | |
| download | otp-8856bfa8d104b700d67180c15eff98003d28e075.tar.gz otp-8856bfa8d104b700d67180c15eff98003d28e075.tar.bz2 otp-8856bfa8d104b700d67180c15eff98003d28e075.zip | |
erts: Add comment about [] and nil() to The Abstract Format
| -rw-r--r-- | erts/doc/src/absform.xml | 4 |
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) = |