aboutsummaryrefslogtreecommitdiffstats
path: root/system
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2014-02-12 16:17:46 +0100
committerHans Bolinder <[email protected]>2014-02-12 16:17:46 +0100
commit4b6a863334ef827172187b50bc823882e8a3ce22 (patch)
tree9e87365d2b0bb9e2e912f06fe225b3395b6d4a1e /system
parent152f1a4ba2f4e2f0dfbcde2efe5b5fd5edbdb986 (diff)
downloadotp-4b6a863334ef827172187b50bc823882e8a3ce22.tar.gz
otp-4b6a863334ef827172187b50bc823882e8a3ce22.tar.bz2
otp-4b6a863334ef827172187b50bc823882e8a3ce22.zip
[refmanual] Fix List in definition of pre-defined types
improper_list(Type1, Type2) has been replaced by nonempty_improper_list(Type1, Type2).
Diffstat (limited to 'system')
-rw-r--r--system/doc/reference_manual/typespec.xml16
1 files changed, 8 insertions, 8 deletions
diff --git a/system/doc/reference_manual/typespec.xml b/system/doc/reference_manual/typespec.xml
index 635476737d..71aec732cf 100644
--- a/system/doc/reference_manual/typespec.xml
+++ b/system/doc/reference_manual/typespec.xml
@@ -4,7 +4,7 @@
<chapter>
<header>
<copyright>
- <year>2003</year><year>2013</year>
+ <year>2003</year><year>2014</year>
<holder>Ericsson AB. All Rights Reserved.</holder>
</copyright>
<legalnotice>
@@ -118,15 +118,15 @@
| fun((TList) -> Type)
Integer :: integer()
- | Erlang_Integer %% ..., -1, 0, 1, ... 42 ...
- | Erlang_Integer..Erlang_Integer %% specifies an integer range
+ | Erlang_Integer %% ..., -1, 0, 1, ... 42 ...
+ | Erlang_Integer..Erlang_Integer %% specifies an integer range
- List :: list(Type) %% Proper list ([]-terminated)
- | improper_list(Type1, Type2) %% Type1=contents, Type2=termination
- | maybe_improper_list(Type1, Type2) %% Type1 and Type2 as above
- | nonempty_list(Type) %% Proper non-empty list
+ List :: list(Type) %% Proper list ([]-terminated)
+ | maybe_improper_list(Type1, Type2) %% Type1=contents, Type2=termination
+ | nonempty_improper_list(Type1, Type2) %% Type1 and Type2 as above
+ | nonempty_list(Type) %% Proper non-empty list
- Tuple :: tuple() %% stands for a tuple of any size
+ Tuple :: tuple() %% stands for a tuple of any size
| {}
| {TList}