aboutsummaryrefslogtreecommitdiffstats
path: root/system
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2016-06-09 13:18:07 +0200
committerHans Bolinder <[email protected]>2016-06-09 15:13:05 +0200
commitaf761914c9a94a9d54c1bcc2d4fff96a58674078 (patch)
tree5954533b7d1221aec75067cb1a56cda6350b16a7 /system
parent68ff9f3e4b5387cf38af7aeb1a8b7abbdaa867d8 (diff)
downloadotp-af761914c9a94a9d54c1bcc2d4fff96a58674078.tar.gz
otp-af761914c9a94a9d54c1bcc2d4fff96a58674078.tar.bz2
otp-af761914c9a94a9d54c1bcc2d4fff96a58674078.zip
Remove support for '...' in Maps types
It is possible that '...' is added later (OTP 20.0), but for now we are not sure of all details.
Diffstat (limited to 'system')
-rw-r--r--system/doc/reference_manual/typespec.xml18
1 files changed, 6 insertions, 12 deletions
diff --git a/system/doc/reference_manual/typespec.xml b/system/doc/reference_manual/typespec.xml
index 9e26e9058d..f17e5df277 100644
--- a/system/doc/reference_manual/typespec.xml
+++ b/system/doc/reference_manual/typespec.xml
@@ -142,7 +142,7 @@
PairList :: Pair
| Pair, PairList
- Pair :: Type := Type %% notes a pair that must be present
+ Pair :: Type := Type %% denotes a pair that must be present
| Type => Type
TList :: Type
@@ -174,19 +174,13 @@
</p>
<p>
The general form of maps is <c>#{PairList}</c>. The key types in
- <c>PairList</c> are allowed to overlap, and if they do, the leftmost pair
- takes precedence. A map value does not belong to this type if contains a key
- that is not in <c>PairList</c>.
+ <c>PairList</c> are allowed to overlap, and if they do, the
+ leftmost pair takes precedence. A map pair has a key in
+ <c>PairList</c> if it belongs to this type.
</p>
<p>
- Because it is common to end a map type with <c>any() =&gt; any()</c> to denote
- that keys that do not belong to any other pair in <c>PairList</c> are
- allowed, and may map to any value, the shorthand notation <c>...</c> is
- allowed as the last pair of a map type.
- </p>
- <p>
- Notice that the syntactic representation of <c>map()</c> is <c>#{...}</c>
- (or <c>#{_ =&gt; _}</c>, or <c>#{any() =&gt; any()}</c>), not <c>#{}</c>.
+ Notice that the syntactic representation of <c>map()</c> is
+ <c>#{any() =&gt; any()}</c> (or <c>#{_ =&gt; _}</c>), not <c>#{}</c>.
The notation <c>#{}</c> specifies the singleton type for the empty map.
</p>
<p>